Meta-CASE in Practice: a Case for KOGGE
暂无分享,去创建一个
[1] Dieter Zöbel,et al. PROGRAM TRANSFORMATIONS FOR DISTRIBUTED CONTROL SYSTEMS , 1994 .
[2] Gottfried Vossen,et al. I-Serializability: Generalized Correctness for Transaction-Based Environments , 1997, Inf. Process. Lett..
[3] Martin Jung,et al. GTU - A workbench for the development of natural language grammars , 1995 .
[4] Ulrich Furbach. Theory Reasoning in First Order Calculi , 1994, IS/KI.
[5] Ilkka Niemelä. Implementing Circumscription Using a Tableau Method , 1996, ECAI.
[6] Stefan Brass,et al. D-wfs: a Connuent Calculus and an Equivalent Characterization , 1995 .
[7] Albrecht Meissner. GRABE: eine objekt-orientierte Sprache zur Spezifikation von Symbolen in interaktiven grafischen Editoren , 1995 .
[8] Lutz Priese,et al. Algebraic Characterization of Petri Net Pomset Semantics , 1997, CONCUR.
[9] Angelika Franzke. GRAL 2.0: A Reference Manual , 1997 .
[10] Thomas Marx,et al. NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .
[11] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[12] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[13] Jürgen Ebert,et al. A Declarative Approach to Graph Based Modeling , 1994, WG.
[14] Peter Baumgartner,et al. Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.
[15] Jürgen Dix,et al. Logisches Programmieren mit Negation und Disjunktion , 1996, Künstliche Intell..
[16] D. Daberitz,et al. Rapid prototyping of graphical editors in an open SDE , 1995, Proceedings Software Engineering Environments.
[17] Peter Baumgartner,et al. Hyper Tableaux and Disjunctive Logic Programming , 1996, DDLP.
[18] Kim Walden,et al. Seamless object-oriented software architecture , 1995 .
[19] Christoph Steigner,et al. Modelling Timeouts in Protocol Design , 1995 .
[20] A. Winter. Generic Support for Understanding Heterogeneous Software Generic Support for Understanding Heterogeneous Software , 1995 .
[21] Jean-Marc Nerson,et al. Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems , 1995 .
[22] Jürgen Dix,et al. Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.
[23] Frieder Stolzenburg,et al. A Flexible System for Constraint Disjunctive Logic Programming , 1998, Künstliche Intell..
[24] Frieder Stolzenburg,et al. Membership-Constraints and Complexity in Logic Programming with Sets , 1996, FroCoS.
[25] J. Ebert,et al. Querying Graph Structures with GQL , 1996 .
[26] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[27] F. Stolzenburg,et al. Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints , 1998 .
[28] Hartmut Noltemeier,et al. Graphtheoretic Concepts in Computer Science , 1980, Lecture Notes in Computer Science.
[29] Jürgen Dix,et al. A Comparison of STATIC Semantics with D-WFS , 1996 .
[30] Bertrand Meyer,et al. Eiffel: The Language , 1991 .
[31] Wenjin Lu. Minimal Model Generation Based on E-hyper Tableaux , 1997, KI.
[32] Jürgen Dix,et al. Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .
[33] Jürgen Ebert,et al. Graph Based Modeling and Implementation with EER / GRAL , 1996, ER.
[34] Lutz Priese,et al. Abstract Fairness and Semantics , 1997, Theor. Comput. Sci..
[35] NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems , 1994 .
[36] Stephan Philippi,et al. Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .
[37] Chandrabose Aravindan. An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.
[38] Michael Z. Spivey,et al. The Z notation , 1989 .
[39] Walter Hower,et al. Constraint Satisfaction - Algorithms and Complexity Analysis , 1995, Inf. Process. Lett..
[40] Jürgen Dix,et al. A general Approach to Bottom-Up Computation of Disjunctive Semantics , 1994, NMELP.
[41] Professor Dr. Niklaus Wirth,et al. Programming in Modula-2 , 1982, Springer Berlin Heidelberg.
[42] Kalle Lyytinen,et al. MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.
[43] Harro Wimmel. Fachberichte Informatik on Some Compositional Petri Net Semantics Universitt at Koblenz{landau on Some Compositional Petri Net Semantics , 1995 .