Korso Reference Languages - Concepts and Application Domains
暂无分享,去创建一个
Martin Gogolla | Ernst-Rüdiger Olderog | Grit Denker | Franz Regensburger | Wolfgang Grieskamp | Hans-Dieter Ehrich | Carola Gerke | Rudolf Herzig | G. Denker | W. Grieskamp | M. Gogolla | H. Ehrich | R. Herzig | E. Olderog | Franz Regensburger | Carola Gerke | Martin Gogolla
[1] Christine Choppy,et al. ASSPEGIQUE: An Integrated Environment for Algebraic Specifications , 1985, TAPSOFT, Vol.2.
[2] Friedrich Ludwig Bauer,et al. The wide spectrum language CIP-L , 1985 .
[3] Tobias Nipkow,et al. Type checking type classes , 1993, POPL '93.
[4] R. J. H. Clark. Languages for Parallel Architectures: Design, Semantics, Implementation Models , 1989 .
[5] Ernst-Rüdiger Olderog,et al. Nets, terms and formulas , 1991 .
[6] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[7] Heinrich Hußmann,et al. The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System , 1995, KORSO Book.
[8] Roger King,et al. Semantic database modeling: survey, applications, and research issues , 1987, CSUR.
[9] Martin Gogolla,et al. TROLL light: A Core Language for Specifying Objects , 1992 .
[10] Peri Loucopoulos,et al. Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development , 1992 .
[11] Grzegorz Rozenberg,et al. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , 1989, Lecture Notes in Computer Science.
[12] Hartmut Ehrig,et al. Equations and initial semantics , 1985 .
[13] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[14] J. C. M. Baeten,et al. Process Algebra: Bibliography , 1990 .
[15] Rance Cleaveland,et al. Implementing mathematics with the Nuprl proof development system , 1986 .
[16] W. Damm,et al. Specification and verification of system-level hardware designs using time diagrams , 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.
[17] M. Gordon,et al. Introduction to HOL: a theorem proving environment for higher order logic , 1993 .
[18] Eric C Hughlett. A Framework for Software Development , 1984 .
[19] Robin Milner,et al. Standard ML: Report ECS-LFCS-86-2 , 1986 .
[20] Jacques Loeckx. The Specification Language OBSCURE , 1986, ADT.
[21] Manfred Broy,et al. Methodische Grundlagen der Programmierung , 1991 .
[22] K. Mani Chandy. Parallel program design , 1989 .
[23] Joseph A. Goguen,et al. The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.
[24] Job Zwiers,et al. Compositionality, Concurrency and Partial Correctness , 1989, Lecture Notes in Computer Science.
[25] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .
[26] Bernhard Josko,et al. Verifying the Correctness of AADL Modules Using Model Checking , 1989, REX Workshop.
[27] Michael J. C. Gordon,et al. Edinburgh LCF: A mechanised logic of computation , 1979 .
[28] Hartmut Ehrig,et al. Algebraic Specification Techniques and Tools for Software Development: The Act Approach , 1993, AMAST Series in Computing.
[29] Gunter Saake,et al. Concepts of Object-Orientation , 1992, IS/KI.
[30] D. A. Turner,et al. Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.
[31] Jacobus Willem de Bakker. Languages for parallel architectures : design, semantics, implementation models , 1989 .
[32] Simon L. Peyton Jones,et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.
[33] Martin Gogolla,et al. Algebraische Spezifikation abstrakter Datentypen , 1989 .
[34] Ed Downs,et al. Structured systems analysis and design method , 1988 .
[35] Claus Lewerentz,et al. "Production Cell": A Comparative Study in Formal Specification and Verification , 1995, KORSO Book.
[36] Ralph-Johan Back,et al. Refinement Calculus, Part II: Parallel and Reactive Programs , 1989, REX Workshop.
[37] Martin Gogolla,et al. Towards Reliable Information Systems: The KorSo Approach , 1993, CAiSE.
[38] Martin Wirsing,et al. Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[39] Roelf J. Wieringa,et al. A conceptual model specification language (CMSL Version 2) , 1992 .
[40] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[41] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[42] Manfred Broy,et al. Specification and Top-Down Design of Distributed Systems , 1987, J. Comput. Syst. Sci..
[43] Hardi Hungar. Combining Model Checking and Theorem Proving to Verify Parallel Processes , 1993, CAV.
[44] Joan Peckham,et al. Semantic data models , 1988, CSUR.
[45] José Meseguer,et al. Principles of OBJ2 , 1985, POPL.
[46] Niklaus Wirth,et al. Algorithms + Data Structures = Programs , 1976 .
[47] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.
[48] Donald Sannella,et al. On Observational Equivalence and Algebraic Specification , 1987, J. Comput. Syst. Sci..
[49] José Meseguer,et al. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.
[50] Martin Gogolla,et al. TROLL light - The Language and its Development Environment , 1995, KORSO Book.
[51] Tobias Nipkow,et al. Order-sorted polymorphism in Isabelle , 1993 .
[52] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[53] Matthew Hennessy,et al. Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.
[54] Wolfgang Grieskamp,et al. OPAL: Design and Implementation of an Algebraic Programming Language , 1994, Programming Languages and System Architectures.
[55] Hardi Hungar,et al. Traverdi - Transformation and Verification of Distributed Systems , 1995, KORSO Book.
[56] Lawrence C. Paulson,et al. Logic and computation - interactive proof with Cambridge LCF , 1987, Cambridge tracts in theoretical computer science.
[57] Franz Regensburger,et al. AVL Trees Revisited: A Case Study in SPECTRUM , 1995, KORSO Book.
[58] Philip Wadler,et al. How to make ad-hoc polymorphism less ad hoc , 1989, POPL '89.
[59] Stephan Kleuker. Case Study: Stepwise Development of a Communication Processor Using Trace Logic , 1993, Semantics of Specification Languages.
[60] J Job Zwiers. Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship , 1989 .
[61] Amílcar Sernadas,et al. Constructing Systems as Object Communities , 1993, TAPSOFT.
[62] C. A. R. Hoare,et al. Provably Correct Systems , 1994, FTRTFT.
[63] Ernst-Rüdiger Olderog,et al. A Case Study in Transformational Design of Concurrent Systems , 1993, TAPSOFT.
[64] Cristina Sernadas,et al. Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.
[65] Bernhard Josko,et al. Modelchecking of CTL Formulae under Liveness Assumptions , 1987, ICALP.
[66] Martin Gogolla,et al. A Development Environment for an Object Specification Language , 1995, IEEE Trans. Knowl. Data Eng..
[67] Tom Maibaum,et al. DESCRIBING AND STRUCTURING OBJECTS FOR CONCEPTUAL SCHEMA DEVELOPMENT , 1992 .
[68] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[69] Friedrich L. Bauer,et al. The Munich Project CIP , 1988, Lecture Notes in Computer Science.
[70] Martin Gogolla,et al. Conceptual modelling of database applications using extended ER model , 1992, Data Knowl. Eng..
[71] Manfred Broy,et al. Requirement and Design Specification for Distributed Systems , 1988, Concurrency.
[72] Peter P. Chen. The Entity-Relationship Model: Towards a unified view of Data , 1976 .
[73] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.
[74] Uwe Wolter,et al. How to Cope with the Spectrum of SPECTRUM , 1995, KORSO Book.
[75] Martin Gogolla,et al. Sketching Concepts and Computational Model of TROLL light , 1993, DISCO.
[76] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[77] E. Clarke,et al. Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .
[78] ChenPeter Pin-Shan. The entity-relationship modeltoward a unified view of data , 1976 .