General Publications

[K+ 86] Krieg-Brückner, B., Ganzinger, H., Broy, M., Wilhelm, R., Möncke, U., Weisgerber, B., McGettrick, A.D., Campbell, I.G., Winterstein, G.: PROgram development by SPECification and TRAnsformation in Ada/Anna. in: Wallis, P. (ed.): Ada: Managing the Transition, Proc. Ada Europe Conf. 86 (Edinburgh), Ada Companion Series, Cambridge University Press 1986, 249-260.

[Kri 86] Krieg-Brückner, B.: Korrekte Software durch PROSPECTRA. impulse aus der Forschung 2, Universität Bremen (1986), 18-20.

[K+ 87] Krieg-Brückner, B., Hoffmann, B., Ganzinger, H., Broy, M., Wilhelm R., Möncke, U., Weisgerber , B., McGettrick, A.D., Campbell, I.G., Winterstein, G.: PROgram development by SPECification and TRAnsformation. in: Rogers, M. W. (ed.): Results and Achievements, Proc. ESPRIT Conf. '86 , North Holland 1987, 301-312.

[Kri 88b] Krieg-Brückner, B.: The PROSPECTRA Methodology of Program Development. in: Zalewski, J. (ed.): Proc. IFIP/IFAC Working Conf. on Hardware and Software for Real Time Process Control (Warsaw) North Holland 1988, 257-271 (invited paper).

[CKP 89] de la Cruz, P., Krieg-Brückner, B., Perez Riesco, A.: From Algebraic Specifications to Correct Ada Programs. in: Alvarez, A. (ed.): Ada: , Proc. Ada Europe Conf. 89 (Madrid), Ada Companion Series, Cambridge University Press (1989) .

[Kri 90] Krieg-Brückner, B.: PROgram development by SPECification and TRAnsformation. in: Kahn, G. (ed.): Proc. Summer School on Programming Environments in ESPRIT (Sophia Antipolis) (invited paper) also in: Baader (ed.): Werkzeuge der Software-Verifikation (1990). revised version in: Technique et Science Informatiques Special Issue on Advanced Software Engineering in ESPRIT (1990) 134-149 (invited paper).

[Kri 87b] Krieg-Brückner, B.: Integration of Program Construction and Verification: the PROSPECTRA Methodology. in: Montanari, U. (ed.): Innovative Software Factories and Ada. Proc. CRAI Int'l Spring Conf. '86. Lecture Notes in Computer Science 275 (1987) 173-194.

[KKT 92] Karlsen, E.W., Krieg-Brückner, B., Traynor, O.: The PROSPECTRA System: A Unified Development Framework. In: M.Nivat, C. Rattray, T. Rus, G. Scollo (ed.): Algebraic Methodology and Software Technology (AMAST'91), Workshop in Computing Springer-Verlag, London (1992) 421 - 433.

[TLK 92] Traynor, O., Liu, J., Krieg-Brückner, B.: Knowledge-Based Transformational Programming. In Proc. of 4th International Conf. on Software Engineering and Knowledge Engineering, Capri, Italy, (1992).

[HK 93] Hoffmann, B., Krieg-Brückner, B. (eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 623p.

Other PROSPECTRA Publications from Universität Bremen

[Kri 87c] Krieg-Brückner, B.: Formalisation of Developments: an Algebraic Approach. in: Rogers, M. W. (ed.): Achievements and Impact, Proc. ESPRIT Conf. '87, North Holland 1987, 491-501.

[Kri 88a] Krieg-Brückner, B.: Algebraic Formalisation of Program Development by Transformation. in: Ganzinger, H. (ed.): Proc. European Symp. On Programming '88, Lecture Notes in Computer Science 300 (1988), 34-48.

[Kri 89a] Krieg-Brückner, B.: Algebraic Specification and Functionals for Transformational Program and Meta-Program Development. in: Diaz, J., Orejas, F. (eds.): Proc. TAPSOFT '89 (Barcelona) Vol. 2. Lecture Notes in Computer Science 352 (1989) 36-59 (invited paper).

[Kri 89b] Krieg-Brückner, B.: Algebraic Specification with Functionals in Program Development by Transformation. in: Hünke, H. (ed.): Proc. ESPRIT Conf. '89, Kluver Academic Publishers (1989) 302-320.

[Kri 91] Krieg-Brückner, B.: Transformational Meta-Program Development. in: Broy, M., Wirsing, M. (eds.): Methods of Programming. Lecture Notes in Computer Science 544 (1991) 19-34.

[KKLT 91] Krieg-Brückner, B., Karlsen, E.W., Liu, J., Traynor, O.: The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. in: Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. Lecture Notes in Computer Science 552 (1991) 363-397 (invited tutorial).

[Ger 93] Gersdorf, B.: Translators from TrafoLa to SSL and TrafoLa-H. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 317-330.

[Kah 93] Kahrs, S.: PAnndA Standard Types and Predefined Type Schemata. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 229-249.

[Kar 93] Karlsen, E.W.: PAnndA Reference Manual. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 223-238.

[KJ 93a] Karlsen, E.W., Jørgensen, J.: PAnndA-S Reference Manual. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 149-170.

[KJ 93b] Karlsen, E.W., Jørgensen, J.: PAnndA-S Editor, Users Guide. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 389-417.

[KKLT 93] Krieg-Brückner, B., Karlsen, E.W., Liu, J., Traynor, O.: Uniform Transformational Development. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 317-330.

[Kri 93] Krieg-Brückner, B.: Introduction. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 3-34.

[KT 93] Karlsen, E.W.: PAnndA Transformer Shell. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 418-449.

[LLT 93] Liu, J., Traynor, O., Lynenskjøld, S.: Guided Tour of the PROSPECTRA System. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 331-366.

[LK 93] Liu, J., Krieg-Brückner, B.: Transformation. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 99-127.

[MTD 93] McGettrick, A.D., Traynor, O., Duffy, D.: Verification. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 129-146.

[Tra 93] Traynor, O.: Proof Subsystem. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 495-521.