Incremental formalization: A key to industrial success

Software-Concepts and Tools

Volumn 17, Issue 2, 1996, Pages 78-91

  Steffen, Bernhard ^a   Margaria, Tiziana ^a   Claßen, Andreas ^a   Braun, Volker ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

Abstract views; Formal methods; Hypertext; Incremental development of tools; Intelligent Networks; Large grain software engineering; Model checking; Service Creation Environment; Software reuse; Symbolic execution; Verification

Indexed keywords

EID: 33744962473     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (26)

1. Bell J, et al. (1994) Software Design for Reliability and Reuse: A Proof-of-Concept Demonstation. Techn. Rep., Dept. of Computer Science and Engineering, Oregon Graduate Institute of Science & Technology, Portland (OR)
2. Bowen J, Hinchey M (April 1995) Ten Commandments of Formal Methods. IEEE Computer, 56-63
3. Crabill E, Kukla J (Nov./Dec. 1994) Service Processing Systems for AT&T's Intelligent Network. AT&T Technical Journal, Vol. 73, No. 6, 39-47
4. Floyd C (May 1995) Theory and Practice of Software Development - Stages in a Debate. (Invited Talk) 6th Int. Conf. on Theory and Practice of Software Development (TAPSOFT'95), Aarhus (Denmark), LNCS N.915, 25-41
5. Goguen JA, Luqi (May 1995) Formal Methods and Social Context in Software Development. (Invited Talk) 6th Int. Conf. on Theory and Practice of Software Development (TAPSOFT'95), Aarhus (Denmark), LNCS N.915, 62-81
6. Kieburtz R, et al. (May 1995) Calculating Software Generators from Solution Specifications. 6th Int. Conf. on Theory and Practice of Software Development (TAPSOFT'95), Aarhus (Denmark), LNCS N.915, 546-560
7. Klein M, et al. (March 1996) D F A & O P T-METAFrame: A Tool Kit for Program Analysis and Optimization, Proc. TACAS'96, Passau (Germany), LNCS 1055, 422-426, Springer-Verlag
8. Knoop J, Rüthing O, Steffen B (June 18-21, 1995) The Power of Assignment Motion. Proc. of the ACM SIGPLAN'95 Conf. on Programming Language Design and Implementation (PLDI'95), La Jolla, California, SIGPLAN Notices 30, 6, 233-245
9. Kozen D (1983) Results on the Propositional-Calculus. Theoretical Computer Science, Vol. 27, 333-354
10. Luqi (1993) Real-time Constraints in a Rapid Prototyping Language. Journal of Computer Languages, 18(2), 77-103
11. Margaria T, Classen A, Steffen B (March 1995) Computer Aided Tool Synthesis in the MetaFrame. 3. GI/ITG Workshop on Anwendung formaler Methoden beim Entwurf von Hardwaresystemen, Passau (Germany), 11-20, Shaker Verlag
12. Ousterhout JK (April 1994) Tel and the Tk Toolkit, Addison-Wesley
13. Schwartz J, Snyder WK (1994) Design of Languages for Multimedia Applications Development. Proc. of the 1994 Monterey Workshop: Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development, 46-55
14. Steffen B, Margaria T, Freitag B (December 1993) Module Configuration by Minimal Model Construction. Techn. Rep. MIP 93-13, Fakultät für Mathematik und Informatik, Universität Passau, Germany
15. Steffen B, et al. (Oct. 1994) Intelligent Software Synthesis in the DaCapo Environment, Proc. 6th Nordic Worksh. on Programming Theory, Aarhus (DK), BRICS Report No. 94/6
16. Steffen B, et al. (April 10-13, 1995) An Approach to Intelligent Software Library Management. Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA '95), National University of Singapore
17. Steffen B, Claßen A, Margaria T (May 1995) The METAFrame: An Environment for Flexible Tool Management. 6th Int. Conf. on Theory and Practice of Software Development (TAPSOFT'95), Aarhus (Denmark), LNCS N.915, 791-792
18. Steffen B, et al. (August 21-24, 1995) The Fixpoint-Analysis Machine. Proc. 6th Int. Conference on Concurrency (CONCUR'95), Philadelphia (PA), LNCS N. 962, 72-87
19. Steffen B, et al. (Dec. 1995) An Environment for the Creation of Intelligent Network Services. Invited Contribution to the Book The Advanced Intelligent Network: A Comprehensive Report, Int. Engineering Consortium Chicago (USA), 287-300. - also reprinted in the Annual Review of Communications, IEC
20. Steffen B, Margaria T, Claßen A (March 1996) Heterogeneous Analysis and Verification for Distributed Systems. SOFTWARE: Concepts and Tools No. 17, 13-25, Springer-Verlag
21. Steffen B, et al. (Apr. 1996) A Constraint-Oriented Service Creation Environment, Proc. PACT'96, Int. Conf on Practical Applications of Constraint Technology, 24-26, London (UK)
22. Steffen B, et al. (Juli 1996) Incremental Formalization. Tool Presentation, to appear in AMAST'96, 5th Int. Conf. on Algebraic Methodology and Software Technology, Munich, 1-5, LNCS, Springer-Verlag
23. Steffen B, et al. (Juli-Aug. 1996) The METAFrame'95 Environment. Experience Report for the Industry Day, to appear in CAV'96, New Brunswick, NJ, USA, LNCS, Springer-Verlag
24. Stickel M, et al. (June 1994) Deductive Composition of Astronomical Software from Subroutine Libraries. Proc. 12th Int. Conf on Automated Deduction (CADE'94), Nancy (F), LNAI N. 814, Springer-Verlag, 341-355
25. Vestal S (1994) Integrating Control and Software Views in a CAGE/CASE Toolset. Proc. Symposium on Computer-Aided Control Systems
26. van der Wolf P, Bingley P, Dewilde P (1990) On the Architecture of a CAD Framework: The NELSIS Approach. Proc. EDAC'90, IEEE Computer Society Press, 29-33