An authoring tool for informal and formal requirements specifications

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

Volumn 2306, Issue , 2002, Pages 233-248

  Hähnle, Reiner ^a   Johannisson, Kristofer ^a   Ranta, Aarne ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL METHODS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYNTACTICS;

DESIGN PRINCIPLES; GRAMMATICAL FRAMEWORKS; INFORMAL REQUIREMENTS; LOGICAL METHODS; OBJECT CONSTRAINT LANGUAGE; REQUIREMENTS SPECIFICATIONS; SOFTWARE REQUIREMENTS SPECIFICATIONS; SYNTAX-DIRECTED EDITORS;

FORMAL SPECIFICATION;

EID: 84958743339     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_16     Document Type: Conference Paper

References (20)

1. W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hahnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira, editors, Proc. JELIA, LNAI 1919, pages 21–36. Springer, 2000.
2. M. Carlsson and T. Hallgren. Fudgets—Purely Functional Processes with applications to Graphical User Interfaces. PhD thesis, Department of Computing Science, Chalmers University of Technology, 1998.
3. Y. Coscoy, G. Kahn, and L. Thery. Extracting text from proofs. In M. Dezani- Ciancaglini and G. Plotkin, editors, Proc. Second Int. Conf. on Typed Lambda Calculi and Applications, volume 902 of LNCS, pages 109–123, 1995.
4. M. Dymetman, V. Lux, and A. Ranta. XML and multilingual document authoring: Convergent trends. In COLING, Saarbrucken, Germany, pages 243–249, 2000.
5. T. Hallgren and A. Ranta. An extensible proof text editor. In M. Parigot and A. Voronkov, editors, Logic for Programming and Automated Reasoning, LPAR, LNAI 1955, pages 70–84. Springer, 2000.
6. R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. JACM, 40(1):143–184, 1993.
7. A. Holt and E. Klein. A semantically-derived subset of English for hardware verification. In Proc. Ann. Meeting Ass. for Comp. Ling., pages 451–456, 1999.
8. H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans, S. Kent, and B. Selic, editors, Proc. 3rd Int. Conf. on the Unified Modeling Language, LNCS 1939, pages 278–293. Springer, 2000.
9. D. Jackson. Alloy: A lightweight object modelling notation. htpp://sdg.lcs.mit.edu/~dnj/pubs/alloy-journal.pdf, July 2000.
10. R. Kramer. iContract—the Java Designs by Contract tool. In Proc. Technology of OO Languages and Systems, TOOLS 26. IEEE CS Press, Los Alamitos, 1998.
11. K. R. M. Leino, G. Nelson, and J. B. Saxe. ESC/Java user’s manual. Technical Note #2000-002, Compaq Systems Research Center, Palo Alto, USA, May 2000.
12. B. Nordstrom, K. Petersson, and J. M. Smith. Martin-lof’s type theory. In S. Abramasky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 5. Oxford University Press, 2000.
13. Object Modeling Group. Response to the UML 2.0 OCL RfP, Aug. 2001. htpp://cgi.omg.org/cgi-bin/doc?ad/01-08-01.
14. Object Modeling Group. Unified Modelling Language Specification, version 1.4, Sept. 2001. htpp://www.omg.org/cgi-bin/doc?formal/01-09-67.
15. R. Power and D. Scott. Multilingual authoring using feedback texts. In COLINGACL 98, Montreal, Canada, 1998.
16. A. Ranta. Type Theoretical Grammar. Oxford University Press, 1994.
17. A. Ranta. Grammatical framework homepage, 2000. htpp://www.cs.chalmers.se/~aarne/GF/index.html.
18. T. Teitelbaum and T. Reps. The Cornell program synthesizer: A syntax-directed programming environment. CACM, 24(9):563–573, 1981.
19. Unisys Corp. et al. XML Metadata Interchange (XMI), Oct. 1998. ftp://ftp.omg.org/pub/docs/ad/98-10-05.pdf.
20. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modelling with UML. Addison-Wesley, 1999.