View consistency in software development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2941, Issue , 2004, Pages 341-357

  Wirsing, Martin ^a   Knapp, Alexander ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SEMANTICS; SOFTWARE DESIGN;

ALGEBRAIC APPROACHES; OBJECT ORIENTED SOFTWARE DEVELOPMENT; VIEW CONSISTENCY;

OBJECT ORIENTED PROGRAMMING;

EID: 35048863456     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24626-8_24     Document Type: Review

References (19)

1. Jon Barwise, editor. Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1977.
2. th Int. Conf. Algebraic Methodology and Software Technology, volume 1101 of Lect. Notes Comp. Sci., pages 458-472. Springer, Berlin, 1996.
3. Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, and Maarten Steen. Viewpoint consistency in ODP. Computer Networks, 34(3):503-537, 2000.
4. Grady Booch, James Rumbaugh, and Ivor Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Mass., &c., 1998.
5. Howard Bowman, Maarten W. A. Steen, Eerke A. Boiten, and John Derrick. A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21:111-166, 2002.
6. Manfred Broy and Ketil Stølen. Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, Berlin, 2001.
7. Gregor Engels, Reiko Heckel, Gabi Taentzer, and Hartmut Ehrig. A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Knowl. Eng., 7(4):457-477, 1997.
8. Clemens Fischer. CSP-OZ: How to Combine Z with a Process Algebra. In Howard Bowman and John Derrick, editors, Proc. 2nd Int. Conf. Formal Methods for Open Object-Based Distributed Systems, volume 2, pages 423-438. Chapman & Hall, Boston, 1997.
9. Joseph A. Goguen and Rod M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. J. ACM, 39(1):95-146, 1992.
10. Ingolf Klüger, Radu Grosu, Peter Scholz, and Manfred Broy. From MSCs to Statecharts. In Franz J. Rammig, editor. Distributed and Parallel Embedded Systems, pages 61-71. Kluwer Academic, Boston-Dordrecht, 1999.
11. José Meseguer. General Logics. In Heinz-Dieter Ebbinghaus, José Fernández-Prida, Manuel Garrido, Daniel Lascar, and Mario Rodríguez Artalejo, editors, Proc. Logic Colloquium '87, volume 129 of Studies in Logic and the Foundatons of Mathematics, pages 275-329. Elsevier, North Holland, Amsterdam, 1989.
12. José Meseguer. Conditional Rewriting Logic as a Unified Model of Concurrency. Theo. Comp. Sci., 96:73-155, 1992.
13. th Int. Symp. Mathematics and Artificial Intelligence, Fort Laurerdale, Florida, 1998. 9 pages.
14. th Int. Conf. Foundations of Software Science and Computation Structures, volume 2303 of Lect. Notes Comp. Sci., pages 326-341. Springer, Berlin, 2002.
15. th Int. Wsh. Algebraic Development Techniques, volume 1376 of Lect. Notes Comp. Sci., pages 349-364. Springer, Berlin, 1998.
16. th Int. Conf. Algebraic Methodology and Software Technology, volume 1816 of Lect. Notes Comp. Sci., pages 243-272. Springer, Berlin, 2000.
17. Timm Schäfer, Alexander Knapp, and Stephan Merz. Model Checking UML State Machines and Collaborations. In Scott Stoller and Willem Visser, editors, Proc. Wsh. Software Model Checking, volume 55(3) of Elect. Notes Theo. Comp. Sci., Paris, 2001. 13 pages.
18. Jos Warmer and Anneke Kleppe. The Object Constraint Language. Addison-Wesley, Reading, Mass., &c., 1999.
19. Heike Wehrheim. Behavioural Subtyping in Object-Oriented Specification Formalisms. Habilitationsschrift, Carl-von-Ossietzky Universität Oldenburg, 2002.