Software tools for the specification language LOTOS / Peter Herman Johan van EijkCompositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob ZwiersSyntax and semantics of VVSL : a language for structured VDM specifications / Cornelis Adam MiddelburgFunctional programs as executable specifications / Petrus Wilhelmus Maria KoopmanAlgebraïsche specificaties / Wiet BoumaCase studies in process specification and verification / door Johannes Cornelis MulderSpecification and compositional verification of real-time systems / Jozef Johannes Maria HoomanImplementation of modular algebraic specifications / Paul Robert Hendrik HendriksTowards formal specification and proof of finite element software within the ATES development system / Herman Hendrik ten CateOn equal terms : implementing algebraic specifications / Humphrey Robert WaltersPSF : a process specification formalism / Sjouke MauwPersistence in algebraic specifications / Frederik WiedijkViews of formal program development / Eerke Albert BoitenClocks, communications, and correctness / Ping ZhouIt's about time : using Funmath for the specification and analysis of discrete dynamic systems / Hubertus Andreas van ThienenSPECS : specification and programming environment for communication software / ed. by Rick Reed ... [et al.]The use of object oriented specifications in physics / Eugène Hugo Hendrikus DürrOn modular algebraic protocol specification / Johannes Jacobus BrunekreefGeneration of program analysis tools / Frank TipFormal methods in knowledge engineering / Manfriedus Wilhelmus Martinus Maria AbenUpdate plans : a high level low level specification language / Hugh Robert OsborneSemantics of POOSL: an object-oriented specification language for the analysis and design of hardware/software systems / by J.P.M. VoetenA systems engineering specification formalism / Norbertus Wilhelmus Anthonius ArendsAbstract interpretation and partition refinement for model checking / Dennis René DamsReductivity arguments and program construction / Hendrik DoornbosDijken en formele methoden / L.M.G. FeijsSystem specification and performance analysis / Leonard Peter Maria BendersLinguistic instruments in requirements engineering / by J.F.M. BurgExperiments in specification re-engineering / Joris Anne HillebrandAlgebraic specification of visual languages / Susan Michele ÜsküdarlıFormalizing knowledge domains : static and dynamic aspects / Hinderikus Marten GroenboomDe SLA specificatiemethode / Technische Universiteit Delft, Technische Universiteit Eindhoven, Vrije Universiteit AmsterdamObject-oriented modeling based on information grammars / Paulus Johannes Maria FrederiksSpecification of reactive hardware/software systems : the method software/hardware engineering (SHE) / Petrus Henricus Antonius van der Putten, Jeroen Peter Marie VoetenAlgebraic specification in action / Sebastiaan Franciscus Maria van VlijmenSoftware architecture reconstruction / René Leo KrikhaarData handbook / BC ComponentsSpecification methods for the multilevel model / Johannes BerkhofThe error of prediction for a simultaneous equation model / Alexander GorobetsThe error of prediction for a simultaneous equation model / Alexander Gorobets