doi:10.1017/S0269888900007566

Aben M, 1995. Formal methods in knowledge engineering, PhD dissertation, University of Amsterdam.

Alford M, 1990. “SREM at the age of eight: the distributed computing design system” In: Thayer RH, eds., System and Software Requirements Engineering, IEEE Press

Andrews D and Ince D, 1991. Practical Formal Methods with VDM, McGraw-Hill.

Andersen M, Elmstrøm R, Lassen PB and Larsen PG, 1992. “Making specifications executable—using IPTES Meta-IV” Microprocessing and Microprogramming35.

Angele J., 1993. Operationalisierung des Modells der Expertise mit KARL, Infix, St. Augustin.

Angele J, Fensel D, Landes D, Neubert S and Studer R, 1993. “Model-based and incremental knowledge engineering: The MIKE approach” In: Cuena J, ed., Knowledge Oriented Software Design, IFIP Transactions A-27, Elsevier.

Angele J, Fensel D and Studer R, 1994. “The model of expertise in KARL.” In: Proceedings of the 2nd World Congress on Expert SystemsLisbon/Estoril, Portugal, 01 10–14.

Baeten JCM, 1990. Applications of Process Algebra, Cambridge Tracts in Theoretical Computer Science, no 17, Cambridge University Press.

Baeten JCM and Weijland WP, 1990. Process Algebra, Cambridge Tracts in Theoritical Computer Science, no 18, Cambridge University Press.

Balzer R and Goldman N, 1979. “Principles of good software specification and their implications for specification language” In: Proceedings of Reliable Software (SRS), Boston, MA.

Balzer RM, Goldman NM and Wile DS, 1982. “Operational specifications as the basis for rapid prototyping” ACM SIGSOFT Software Engineering Notes7(5).

Bauer FL, Ehler H, Horsch A, Möller B, Partsch H, Paukner O and Pepper P, 1987. The Munich Project CIP, vol II: The Program Transformation System CIP-S, Lecture Notes on Computer Science, no 292, Springer-Verlag.

Beckert B and Posegga J, 1995. “leanEA: A Poor Man's Evolving Algebra Compiler” Research report, University of Karlsruhe.

Bell TE, Bixler CD and Dyer ME, 1977. “An extendable approach to computer-aided software requirements engineering” IEEE Transactions on Software Engineering3(1).

Berry DC, 1987. “The problem of implicit knowledge” Expert systems4(3).

Bicarregui JC, Fitzgerald JS, Lindsay PA, Moore R and Ritchie B, 1994. Proof in VDM: A Practitioner's Guide, Springer-Verlag.

Bidoit M, 1989. PLUSS, un language pour le developpement de specifications algebriques modulaires, These d'Etat, University Paris Dus, Orsay.

Bidoit M, Kreowski HJ, Lescane P, Orejas F and Sannella D, eds., 1991. Algebraic System Specification and Development, Lecture Notes in Computer Science, no 501, Springer-Verlag.

Bjorner D, Hoare CAR and Langmaack H, eds., 1990. VDM'90. VDM and β—Formal Methods in Software Development, Lecture Notes in Computer Science, no 428, Springer-Verlag.

Börger E, Gurevich Y and Rosenzweig D, 1994. “The Bakery algorithm: yet another specification and verification” In: Börger EB, ed., Specification and Validation Methods, Oxford University Press.

Brazier FMT, Keplicz BD, Jennings NR and Treur J, 1995a. “Formal specifications of multi-agent systems: a real-world case” In: Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, CA, 0612–14.

Brazier FMT and Treur J, 1994. “User centered knowledge-based system design: a formal modelling approach” In: Steels L, eds., A Future for Knowledge Acquisition, 8th European Knowledge Acquisition Workshop, EKAW-94 Lecture Notes in Artificial Intelligence, no 867, Springer-Verlag.

Brazier FMT, Treur J, Wijngaards NJE and Willems M, 1995b. “Formal specification of hierarchically (de)composed tasks” In: Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshops (KAW-95), Banff, Alberta, Canada, 02 26 03 3.

Breuker JA and van de Velde W, eds., 1994. The CommonKADS Library for Expertise Modelling, lOS Press.

Bonner AJ and Kifer M, 1993. “Transaction logic programming” In: Proceedings of the 10th International Conference on Logic Programming (ICLP)Budapest, Hungary, 06 21–24.

Bourdeau RH and Cheng BHC, 1995. “A formal semantics for object model diagrams” IEEE Transaction on Software Engineering21(10).

Brodie ML, 1984. “On the development of data models” In: Brodie , eds., On Conceptual Modeling, Springer-Verlag.

Brodie ML and Ridjanovic D, 1984. “On the design and specification of database transactions” In: Brodie , eds., On Conceptual Modeling, Springer-Verlag.

Brooking AG, 1986. “The analysis phase in development of knowledge-based systems” In: Gale WA, ed., Al and Statistic, Addison-Wesley.

Chandrasekaran B, 1986. “Generic tasks in knowledge-based reasoning: high-level building blocks for expert system design” IEEE Expert1(3).

Clancey WJ, 1987. “From Guidon to Neomycin and Heracles in twenty short lessons” In: van Lamsweerde A, ed., Current Issues in Expert Systems, Academic Press.

Coad P and Yourdon E, 1991. Object-Oriented Analysis, 2nd ed., Yourdon Press.

Craigen D, Gerhart S and Ralston T, 1993. An International Survey of Industrial Applications of Formal Methods, vol. 1 and 2, U.S. Department of Commerce, National Institute of Standards and Technology, Gaithersburg, report NISTGCR 93/626. ftp nemo.ncsl.nist.gov, pub/ahis/formal–methods.

A short version appeared as Gerhart S, Craigen D and Ralston T, 1993, “Observations on industrial practice using formal methods” In: Proceedings of the 15th International Conference on Software Engineering (ICSE-93)05 17–21, Baltimore, Maryland.)

Doberkat E-E, 1994. Generating an Algebraic Specification from an ER-Model STW Memo, no ISSN 0933- 7725, University of Dortmund, Germany.

Doberkat E-E and Fox D, 1989. Software Prototyping mit SETL, Leitfäden und Monographien der Informatik, Teubner-Verlag, Stuttgart.

Dorfman M, 1990. “System and software requirements engineering” In: Thayer RH and Dorfman M, eds., System and Software Requirements Engineering, IEEE Press.

Ehrig H and Mahr B, eds., 1985. Fundamentals of Algebraic Specifications 1, Springer-Verlag.

Ehrig H and Mahr B, eds., 1990. Fundamentals of Algebraic Specifications 2, Springer-Verlag.

Elmstrθøm R, Lassen PB and Larsen PG1994. “The IFAD VDM-SL toolbox: a practical approach to formal specifications” ACM SIGPLAN Notices29(9).

Elmstrθøm R, Lintulampi R and Pezze M, 1993. “Giving semantics to SA/RT by means of high level timed Petri nets” Real-Time Systems5(2–3).

Feijs LMG and Jonkers HBM, 1992. Formal Specification and Design, Cambridge Tracts in Theoretical Computer Science, no 35, Cambridge University Press.

Feijs LMG, Jonkers HBM, Koymans CPJ and Renardel de Lavalette GR, 1989. Formal definition of the design language COLD-K (Preliminary version), ESPRIT document METEOR/t7/PRLE/7, 041987 (Final version: 081989).

Fensel D, 1995. The Knowledge Acquisition and Representation Language KARL, Kluwer.

Fensel C, Angele I, Landes D and Studer R, 1993. “Giving structured analysis techniques a formal and operational semantics with KARL” In: Züllighoven H, eds., Requirements Engineering '93: Prototyping, Teubner Verlag.

Fensel D and van Harmelen F, 1994. “A comparison of languages with operationalize and formalize KADS models of expertise” The Knowledge Engineering Review9(2).

Fensel D and Neubert S, 1994. “Integration of semiformal and formal methods for specification of knowledge-based systems” In: Wolfinger B, ed., Innovation bei Rechen- und Kommunikationssystemen, Informatik Aktuell, Springer-Verlag.

France RB and Docker TWG, 1989. “Formal specifications using structured system analysis” In: Proceedings of the 2nd European Software Conference ESEC'89 Warwick, 09 11–15, Lecture Notes in Computer Science, no 387, Springer-Verlag.

Fuchs NE, 1992. “Specifications are (preferably) executable” Software Engineering Journal7.

Futatsugi K, Goguen JA, Jouannaud JP and Meseguer J, 1985. “Principles of OBJ2” In: Proceedings of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, LA.

Gaudel MC, 1984. A First Introduction to PLUSS Technical report, LRI, Universite Paris Sud, Orsay.

Gaudel MC, 1990. “Algebraic specifications” In: McDermied J, ed., Software Engineer's Reference, Butterworth.

Gaudel MC, 1994. “Formal specification techniques In: Proceedings of the 16th International Conference on Software Engineering (ICSE-94)May 16–21,Sorrento, Italy.

Gavrila I and Treur J, 1993. “A formal model for the dynamics of compositional reasoning systems In: Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94)Amsterdam, The Netherlands, 08 8–12. (An extended version is available as research report, no IR-323, Vrije Universiteit Amsterdam.)

Geelen P, Ruttkay Z and Treur J, 1991. Logical Analysis and Specification of an Office Assignment Task research report, no IR-283, Vrije Universiteit Amsterdam.

Gerrard CP, Coleman D and Gallimore M, 1990. “Formal specification and design time testingIEEE Transactions on Software Engineering16(1).

Groenboom R and Renardel de Lavalette G, 1994. “Reasoning about dynamic features in specification languages” In: Andrews DJ, eds., Semantics of Specification Languages, Springer-Verlag.

Groenboom R and Renardel de Lavalette G, 1995. “A formalisation for evolving algebra” In: Proceedings of Accolade 95, Dutch Graduate School in Logic, Amsterdam.

Gurevich Y, 1993. Evolving Algebras. A Tutorial Introduction In: Rozenberg G, eds., Current Trends in Theoretical Computer Science, World Scientific.

Gurevich Y, 1994. “Evolving algebras 1993; Lipari guide” In: Börger EB, eds., Specification and Validation Methods, Oxford Univesrsity Press.

Harel D, 1984. “Dynamic logic In: Gabby D, eds., Handbook of Philosophical Logic, vol. II, Extensions of Classical Logic, Kluwer.

van Harmelen F and Balder J, 1992. “(ML)²: a formal language for KADS conceptual models” Knowledge Acquisition4(1).

van Harmelen F and Fensel D, 1995. “Formal methods in knowledge engineering” The Knowledge Engineering Review10(4).

Hasselbring W, 1994. Prototyping Parallel Algorithms in a Set-Oriented Language, Verlag Dr. Kovac, Hamburg, Germany.

Hayes IJ, 1992. “VDM and Z: a comparative case study” FormalAspects of Computing4(1).

Hayes IJ and Jones CB, 1989. “Specifications are not (necessarily) executable” Software Engineering Journal4(6).

Hayes IJ, Jones CB and Nicholls JE, 1994. “Understanding the difference between VDM and Z” ACM Sigsoft Software Engineering Notes19(3).

He X, 1995. “PZ Nets—a formal method integrating Petri nets with Z” In: Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering (SEKE-95)Rockville, MD, 06 22–24.

Huggins JK, 1993. Evolving Algebra Interpreter, Manuscript University of Michican.

Jones CB, 1990. Systematic Software Development Using VDM, 2nd ed, Prentice Hall.

Jungclaus R, 1993. Modeling of Dynamic Object Systems—A Logic-based Approach, Vieweg Verlag.

Kappel AM, 1993. “Executable specifications based on dynamic algebras” In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR-93) St Petersburg, Russia, 07 13–20.

Karbach W and Voβ A, 1993. “MODEL-K for prototyping and strategic reasoning at the knowledge level” In: David M, eds., Second Generation Expert Systems, Springer-Verlag.

Kifer M, Lausen G and Wu J, 1993. Logical Foundations of Object-Oriented and Frame-Based Languages. In: Technical Report 93/06, Department of Computer Science, SUNY at Stony Brook, NY. (To appear in Journal of the ACM.)

Kozen D, 1990. “Logics of programs In: Leeuwen J v, ed., Handbook of Theoretical Computer Science, Elsevier.

Krause P, Fox J, O'Neill M and Glowinski A, 1993. “Can we formally specify a medical decision support systemsIEEE Expert8(3).

van Langevelde I, Philipsen A and Treur J, 1992. “Formal specification of compositional architectures In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92) Vienna, Austria, 08 3–7. (An extended version is available as research report, no IR-282, Vrije Universiteit Amsterdam.)

van Langevelde I, Philipse A and Treur J, 1993. “A compositional architecture for simple design formally specified in DESIRE In: Treur J and Wetter Th, eds., Formal Specification of Complex Reasoning Systems, Ellis Horwood.

Larsen PG, van Katwijk J, Plat N, Pronk K and Toetenel H, 1991. “SVDM: An integrated combination of SA and VDM In: Proceedings of the Methods Integration Conference, Leeds, UK.

Larsen PG, Plat N and Toetenel H, 1993.“A formal semantics of data flow diagrams” Formal Aspects of Computing3.

Lassen PB and Larsen PG, 1991. “An executable subset of Meta-IV with loose specification” In: Proceedings of the VDM'91 Formal Software Development Methods, Noordwijkerhout, The Netherlands, 10, Springer-Verlag.

Linster M, 1992. Knowledge Acquisition Based on Explicit Methods of Problem Solving PhD dissertation, University of Kaiserslautern.

Marcus S, ed., 1988. Automating Knowledge Acquisition for Experts Systems, Kluwer.

McDermott J, 1982. “Ri: A rule-based configurer of computer systemsArtificial Intelligence19.

Milnes BG, 1992. A Specification of the Soar Cognitive Architecture in Z, Research report CMU-CS-92–169, School of Computer Science, Carnegie Mellon University, Pittsburg, PA.

Nakagawa AT, Sakakihara T and Futatsugi K, 1993. “Algebraic specification of reasoning systems” In: Treur J and Wetter Th, eds., Formal Specification of Complex Reasoning Systems, Ellis Horwood.

Newell A, 1982. “The knowledge level” Artificial Intelligence18.

Oberweis A, Scherrer G and Stucky W, 1994. “INCOME/STAR: methodology and tools for the development of distributed information systems” Information Systems19(8).

Pierret-Golbreich C and Talon X, 1995. “An algebraic specification of the dynamic behaviour of knowledge- based systems” The Knowledge Engineering Review (submitted).

Plotkin GD, 1981. A Structural Approach to Operational Semantics, Technical report, no DAIMI FN-19, Aaarhus University, Denmark.

Przymusinski TC, 1988. “On the declarative semantics of deductive databases and logic programs” In: Minker J, ed., Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann.

Randell GP, 1990. Translating Data Flow Diagrams into Z (and Vice Versa), Technical Report 90019, Procurement Executive, Ministry of Defence, RSRE, Malvern, Worcestershire, UK.

Ross DT, 1977. “Structured analysis (SA): a language for communicating ideas” IEEE Transactions on Software Engineering3(1).

Rumbaugh J, Blaha M, Premerlani W, Eddy F and Lorensen W, 1991. Object-Oriented Modelling and Design, Prentice-Hall.

Ryan P and Sennett C, 1993. Formal Methods in Systems Engineering, Springer-Verlag.

Schreiber ATh, 1992. Pragmatics of the Knowledge Level, PhD dissertation, University of Amsterdam.

Schreiber ATh and Birmingham B, eds., 1995. Special issue on the VTSisyphus Task, International Journal of Human-Computer Studies (IJHCS) (in press).

Schreiber ATh, Wielinga BJ, Akkermans H, Van de Velde W and de Hoog R, 1994. “CommonKADS. A comprchensive methodology for KBS development. IEEE Expert9(6).

Schreiber ATh, Wielinga BJ and Breuker J, eds., 1993. KADS. A Principal Approach to Knowledge-Based System Development, Academic Press.

Schreiber ATh, Wielinga BJ and Jansweijer W, 1995. “The KACTUS View on the ‘O’ Word” In: Proceedings of the Dutch National Conference on Al (NAIC-95)Rotterdam.

Schwarz JT, Dewar R, Dubinski E and Schonberg E, 1986. Programming with Sets: An Introduction to SETL, Springer-Verlag.

Semmens LT, France RB and Docker TWG, 1992. “Integrated structured analysis and formal specification techniques” The Computer Journal35(6).

Sernadas A, Sernadas C and Costa JF, 1992. Object Specification Logic, Research Report INESC/DMIST, University of Lisbon. (To appear in Journal of Logic and Computation).

Sheppard D, 1995. An Introduction to Formal Specification with Z and VDM, McGraw-Hill.

Spee JW and in't Veld L, 1994. “The Semantics of K_BSSF: A language for KBS design” Knowledge Acquisition6(4).

Spivey JM, 1988. Understanding Z. A Specification Language and its Formal Semantics, Cambridge University Press.

Spivey JM, 1992. The Z Notation. A Reference Manual, 2nd ed. Prentice Hall.

Spruit PA, Wieringa RJ and Meyer J-JC, 1993. “Dynamic database logic: the first-order case” In: Lipeck UW, eds., Modelling Database DynamicsSpringer-Verlag.

Spruit PA, Wieringa RJ and Meyer J-JC, 1995. “Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases” Journal of Logic Computation5(1).

Stepney S., Barden Rand Cooper D, eds., 1992. Object Orientation in Z, Springer-Verlag.

Treur J, 1992. “Interaction types and chemistry of generic task models” In: Linster M, eds., Proceedings of the European Knowledge Acquisition Workshop (EKAW-91)GMD Studien, no 211.

Treur J, 1994. “Temporal semantics of meta-level architectures for dynamic control of reasoning” In: Fribourg L, eds., Logic Program Synthesis and Transformation—Meta Programming in Logic, Proceedings of the 4th International Workshops, LOPSTER-94 and META-94, Pisa, Italy, 06 20–21 Lecture Notes in Computer Science, no, 883, Springer-Verlag.

Treur J and Wetter Th, eds., 1993. Formal Specification of Complex Reasoning Systems, Ellis Horwood.

Turner JG and McCluskey TL, 1994. The Construction of Formal Specifications, McGraw-Hill.

Veld L, Jonker W and Spec JW, 1993. “The specification of complex reasoning tasks in KBSSF” In: Treur J and Wetter Th, eds., Formal Specification of Complex Reasoning Systems, Ellis Horwood.

Voss H and Voss A, 1993. “Reuse-oriented knowledge engineering with MoMo” In: Proceedings of the 5th International Conference on Software Engineering and Knowledge Engineering (SEKE93)San Francisco Bay, 06 14–18.

Wielinga BJ and Schreiber ATh, 1994. “Conceptual modeling of large reusable knowledge bases”. In: von Luck K, eds., Management and Processing of Complex Data Structures Lecture Notes in Computer Science, no 777, Springer-Verlag.

Wielinga BJ, Schreiber ATh and Breuker JA, 1992. “KADS: A modelling approach to knowledge engineering” Knowledge Acquisition4(1).

Wieringa RJ, 1991a. “A formalization of objects using equational dynamic logic” In: Proceedings of the 2nd International Conference on Deductive and Object-Oriented Databases (DOOD-91)Munich, Germany, 12 16–18, Springer-Verlag.

Wieringa RJ, 1991b. “Steps towards a method for the formal modeling of dynamic objects” Data and Knowledge Engineering6.

Wieringa RJ and van de Riet RP, 1990. “Algebraic specification of object dynamics in knowledge based domains” In: Meersman RA, eds., Artificial Intelligence Databases and Information Systems (DS-3), North-Holland.

Wirsing M, 1990. “Algebraic specification” In: van Leeuwen J, ed., Handbook of Theoretical Computer Science, Elsevier.

Wood KR, 1993, “A practical approach to software engineering using Z and the refinement calculus” In: Proceedings of the First ACM SIGSOFT Symposium on the Foundation of Software EngineeringLos Angeles, CA, 12 7–10, ACM Software Engineering Notes 18(5).

Woodcock JCP and Larsen PG, eds., 1993. “FME'93: Industrial strength formal methods” Proceedings of the First International Symposium of Formal Methods Europe Odense, Denmark, 04 19–23; Lecture Notes in Computer Science, no 670, Springer-Verlag.

Wordsworth JB, 1992. Software Development with Z, Addison-Wesley.

Yourdon E, 1989. Modern Structured Analysis, Prentice-Hall.

Zave P, 1982. “An operational approach to requirements specification for embedded systems” IEEE Transactions on Software Engineering3(8).

Zave P, 1991. “An insider's evaluation of PAISley” IEEE Transactions on Software Engineering17(3).