Formal consistency safety in informal Software specifications;Formale Konsistenzsicherung in informellen Software-Spezifikationen

Informatik - Forschung und Entwicklung

Volumn 19, Issue 1, 2004, Pages 17-29

  Scheffczyk, Jan ^a   Stutz, Christiane ^b   Borghoff, Uwe M ^a   Siedersleben, Johannes ^b  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

^b Sd and m AG   (Germany)

Author keywords

Analysis modules; Consistency; Software specification; Temporal logic heterogeneous repositories

Indexed keywords

ANALYSIS MODULES; CONSISTENCY; SOFTWARE SPECIFICATION; TEMPORAL LOGIC HETEROGENEOUS REPOSITORIES;

COMPUTER AIDED ANALYSIS; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS; PROBLEM SOLVING; PROGRAM DOCUMENTATION; PROJECT MANAGEMENT; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMPUTER SOFTWARE;

EID: 4444258867     PISSN: 01783564     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (36)

1. Abiteboul S, Herr L, van den Bussche J (1996) Temporal versus first-order logic to query temporal databases. In: ACM Symposium on Principles of Database Systems, pp 49-57, Montreal, Canada, ACM
2. Astesiano E, Bidoit M, Kirchner H, Krieg-Brückner B, Mosses P, Sannella D, Tarlecki A (2002) CASL: The Common Algebraic Specification Language. Theoretical Computer Science 286(2):153-196
3. Balzert H (1998) Lehrbuch der Software-Technik: Software-Management, Software-Qualitätssicherung, Unternehmensmo-dellierung, volume 2. Spektrum Akademischer Verlag, Heidelberg, Berlin
4. Beck K (2000) Extreme Programming Explained: Embrace Change. Addison Wesley, Reading, MA
5. Benzaken V, Doucet A (1995) Thémis: A database programming language handling integrity constraints. VLDB Journal 4(3):493-518
6. Booch G (1994) Objektorientierte Analyse und Design. Addison Wesley, Reading, MA
7. Booch G, Rumbaugh J, Jacobson I (1999) The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA
8. Borghoff U, Rödig P, Scheffczyk J, Schmilz L (2003) Langzeitarchivierung: Methoden zur Erhaltung digitaler Dokumente, dpunkt.Verlag, Heidelberg, Germany
9. Buneman P, Fan W, Weinstein S (2000) Path consistency rules in semistructured databases. J Comput Syst Sci 61(2):146-193
10. Cockburn A (2001) Agile Software Development. Addison Wesley, Reading, MA
11. de Champeaux D (1986) Subproblem finder and instance checker, two cooperating modules for theorem provers. J ACM 33(4):633-657
12. DeMarco T (1978) Structured Analysis and System Specification. Yourdon Press, New York
13. de Silva M (1997) Dynamic integrity constraints definition and enforcement in databases: a classification framework, In: Proc. of the IFIP TC-11 Working Group 11.5 First Working Conf. on Integrity and Internal Control in Information Systems, pp 65-87
14. Fernández MF, Florescu D, Levy AY, Suciu D (1999) Verifying integrity consistency rules on web sites. In: IJCAI, pp 614-619
15. Finkelstein A(2000) A foolish consistency: Technical challenges in consistency management. In: Proc. of the 11th Int. Conf. on Database and Expert Systems Applications (DEXA), pp 1-5, London, UK, Springer
16. Gupta A, Sagiv Y, Ullman J, Widom J (1994) Constraint checking with partial information. In: Proc. of the 13th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pp 45-55, Minneapolis, MS, ACM
17. Hodkinson I, Wolter F, Zakharyaschev M (2000) Decidable fragments of first-order temporal logics. Ann Pure Appl Logic 106:85-134
18. Jacobson I, Christerson M, Johnson P, Övergaard F (1992) Object-Oriented Software Engineering: A Use Case Driven Approach. Addison Wesley, Wokingham, England
19. Kampffmeyer U, Merkel B (1999) Dokumentenmanagement: Grundlagen und Zukunft. Project Consult
20. Kruchten P (2003) The Rational Unified Process: An Introduction. Addison-Wesley, 3rd edn
21. Nentwich C, Capra L, Emmerich W, Finkelstein A(2001) xlinkit: a consistency checking and smart link generation service. In ACM Transactions on Internet Technology, pp 151-185
22. Nordlander J (1999) Reactive Objects and Functional Programming. PhD thesis, Chalmers Tekniska, Högskola
23. Nuseibeh B, Easterbrook S, Russo A (2000) Leveraging inconsistency in software development. Computer 33(4):24-29
24. Peyton Jones S (2003) Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press
25. Ratcliff B (1994) Introducing Specification Using Z: A Practical Case Study Approach. McGraw Hill
26. Robertson J, Robertson S (1999) Mastering the Requirements Process. Addison Wesley
27. Roggenbach M, Schröder L (2001) Towards trustworthy specifications I: consistency checks. In Recent Trends in Algebraic Development Techniques, 15th Int. Workshop, WADT'01, volume 2267 of LNCS, pp 305-327. Springer
28. Roundy D (2004) Darcs: David's advanced revision control system. See www.abrldgegame.org/darcs/
29. Scheffczyk J, Borghoff U, Rödig P, Schmitz L (2003) Consistent document engineering. In: Proc. of the 2003 ACM Symp. on Document Engineering, pp 140-149, Grenoble, France, ACM Press
30. Scheffczyk J, Borghoff U, Rödig P, Schmitz L (2003) Efficient (in-)consistency management for heterogeneous repositories. In Proc. of the 4th Int. Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), pp 370-377, Lübeck, Germany, ACIS
31. Siedersleben J, Krug W (2002) Bausteine der Spezifikation. In: Siedersleben J (ed) Softwaretechnik. Hanser, 2nd edn
32. Vermesan AI, Coenen F (eds) Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Papers from EUROVAV '99, 5th European Symp. on Validation and Verification of Knowledge Based Systems, Oslo, Norway. Kluwer
33. Wallace M, Runciman C (1999) Haskell and XML: Generic combinators or type-based translation? In Proc. of the Fourth ACM SIGPLAN Int. Conf. on Functional Programming (ICFP'99), volume 34-9, pp 148-159, ACM Press, New York
34. Warmer J, Kleppe A (1998) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley
35. Wirsing M (1990) Algebraic specifications. In: van Leeuwen J (ed) Handbook of Theoretical Computer Science, volume B, chapter 13, pp 675-788. Elsevier
36. Ziemann P, Gogolla M (2002) An extension of OCL with temporal logic. In J Jürjens et al., editors, Critical Systems Development, with UML - Proc. of the UML'02 workshop, pp 53-62, Munich, Germany