论文信息 - Incremental Formalization: A Key to Industrial Success - 字舞流文

Incremental Formalization: A Key to Industrial Success

Tiziana Margaria | Bernhard Steffen | Volker Braun | Andreas Claßen | Bernhard Steffen | Andreas Claßen | Volker Braun

[1] Edwin F. Crabill,et al. Service processing systems for AT&T's intelligent network , 1994, AT&T Technical Journal.

[2] Michael R. Lowry,et al. Deductive Composition of Astronomical Software from Subroutine Libraries , 1994, CADE.

[3] Tiziana Margaria,et al. An Approach to Intelligent Software Library Management , 1995, DASFAA.

[4] Pieter van der Wolf,et al. On the architecture of a CAD framework: The NELSIS approach , 1990, Proceedings of the European Design Automation Conference, 1990., EDAC..

[5] Tong Zhou,et al. Software design for reliability and reuse: a proof-of-concept demonstration , 1994, TRI-Ada '94.

[6] T. Margaria,et al. Intelligent Software Synthesis in the Dacapo Environment , 1994 .

[7] S. Vestal. Integrating control and software views in a CACE/CASE toolset , 1994, Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD).

[8] Tiziana Margaria,et al. A Constraint-Oriented Service Creation Environment , 1996, TACAS.

[9] Tiziana Margaria,et al. Module Connguration by Minimal Model Construction , 1993 .

[10] Luqi. Real-Time Constraints in a Rapid Prototyping Language , 1993, Comput. Lang..