„program specification“

Suchergebnisse

422 Treffer

• Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types
  Sherman, Mark Steven 1985 Springer
• Specification of a programming support environment by graph grammars
  Engels, Gregor ; Schäfer, Wilhelm 1982 Univ., Fachbereich Mathematik
• Program specification – proceedings of a workshop, Aarhus, Denmark, August 1981
  Staunstrup, Jørgen 1982 Springer
• Advance specification and programming interactions: A reply to Rosenbaum, Barnes, and Slotta (1988)
  Heuer, Herbert
• Program Synthesis from Formal Requirements Specifications Using APTS
  Leonard, Elizabeth I. ; Heitmeyer, Constance L.
• Application of Modal Logics to the Specification and Verification of Programs
  Popov, V. B. ; Anafiev, A. S.
• Evaluating, comparing and improving the quality of system structure during the specification process. Application example with SDL
  Ammar-Boudjelal, F. ; Lafaye, J. Y. ; Louis, G.
• Specification of direction and duration during programming of discrete sliding movements
  Spijkers, Will A. C. ; Steyvers, Frank J. J. M.
• Executing Formal Specifications with Concurrent Constraint Programming
  Wahls, Tim ; Leavens, Gary T. ; Baker, Albert L.
• Specification of Service Level Agreements: Problems, Principles and Practices
  Trienekens, Jos J.M ; Bouman, Jacques J. ; van der Zwan, Mark
• Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
  Kossatchev, A. S. ; Kutter, P. ; Posypkin, M. A.
• Automated Synthesis of Recursive Programs from a ∀∃ Logical Specification
  Chazarain, Jacques ; Muller, Serge
• Specification and verification of database dynamics
  Fiadeiro, José ; Sernadas, Amílcar
• Axiomatic data type specifications: A first order theory of linear lists
  Moore, Daniel J. ; Russell, Bruce
• A practical example of the specification of abstract data types
  Tompa, Frank W.
• Hierarchical program specification and verification — a many-sorted logical approach
  Nakajima, Reiji ; Honda, Michio ; Nakahara, Hayao
• A logic for the specification and proof of regular controllable processes of CCS
  Graf, Susanne ; Sifakis, Joseph
• On the algebraic specification of infinite objects — ordered and continuous models of algebraic types
  Möller, Bernhard
• Duality in specification languages: a lattice-theoretical approach
  Back, R. J. R. ; Wright, J. von
• On specification of multiprocessor computing
  Turski, W. M.