Cover Image

Domain Modeling-Based Software Engineering : a Formal Approach /

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on o...

Full description

Bibliographic Details
Main Author:	Lu, Ruqian
Corporate Author:	SpringerLink (Online service)
Other Authors:	Jin, Zhi
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Series:	Springer International Series on Asian Studies in Computer and Information Science ; 8.
Subjects:	Computer science. Software engineering. Electronic data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Computer-Aided Reasoning : ACL2 Case Studies /
by: Kaufmann, Matt
Published: (2000)

Computer-Aided Reasoning : An Approach /
by: Kaufmann, Matt
Published: (2000)

The Object-Z Specification Language /
by: Smith, Graeme
Published: (2000)

Formal Methods for Distributed System Development : FORTE /
by: Bolognesi, Tommaso
Published: (2000)

The Architecture of Scientific Software : IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada /
by: Boisvert, Ronald F.
Published: (2001)

Dependable Computing for Critical Applications 2 /
by: Meyer, John F.
Published: (1992)

Dependable Computing for Critical Applications 4 /
by: Cristian, Flaviu
Published: (1995)

Dependable Computing for Critical Applications /
by: Avižienis, Algirdas
Published: (1991)

Compositional Verification of Concurrent and Real-Time Systems /
by: Juan, Eric Y. T.
Published: (2002)

Distributed Applications and Interoperable Systems II : IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland /
by: Kutvonen, Lea
Published: (1999)

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 /
by: Jacobs, Bart
Published: (2002)

Business Component-Based Software Engineering /
by: Barbier, Franck
Published: (2003)

The Use of Formal Specification of Software : June 25-27, 1979, Berlin /
by: Berg, H. K. (Helmut K.)
Published: (1980)

Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)

Mechanics /
by: Chester, W.
Published: (1980)

Computational Techniques in Quantum Chemistry and Molecular Physics : Proceedings of the NATO Advanced Study Institute held at Ramsau, Germany, 4-21 September, 1974 /
by: Diercksen, G. H. F.
Published: (1975)

The Application of Mathematics in Industry /
by: Anderssen, R. S.
Published: (1982)

Numerical Solutions of the N-Body Problem /
by: Marciniak, Andrzej
Published: (1985)

Combinatorial Complexes : a Mathematical Theory of Algorithms /
by: Sellers, Peter H.
Published: (1979)

Computational Aspects of Complex Analysis : Proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26 - August 6, 1982 /
by: Werner, H.
Published: (1983)

Industrial Application of Electromagnetic Computer Codes /
by: Crutzen, Yves R.
Published: (1990)

Software Engineering for Large Software Systems /
by: Kitchenham, B. A.
Published: (1990)

Software Pioneers : Contributions to Software Engineering /
by: Broy, Manfred
Published: (2002)

Software Quality and Software Testing in Internet Times /
by: Meyerhoff, Dirk
Published: (2002)

Software Reuse /
by: Coulange, Bernard
Published: (1998)

Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA /
by: Smith, Scott F.
Published: (2000)

Formal Methods and Models for System Design : a System Level Perspective /
by: Gupta, R. (Rajesh)
Published: (2004)

Collectives and the Design of Complex Systems /
by: Tumer, Kagan
Published: (2004)

Applied Evolutionary Algorithms in Java /
by: Ghanea-Hercock, Robert
Published: (2003)

Software Architectures : Advances and Applications /
by: Barroca, Leonor
Published: (2000)

Software Engineering Education : The Educational Needs of the Software Community /
by: Gibbs, Norman E.
Published: (1987)

Software Engineering : Grundlagen, Menschen, Prozesse, Techniken /
by: Ludewig, Jochen
Published: (2010)

High-Integrity Software /
by: Sennett, C. T.
Published: (1990)

Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)

Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)

Software Engineering in C /
by: Darnell, Peter A.
Published: (1988)

Software Development Tools /
by: Riddle, William E.
Published: (1980)

Experimentation in Software Engineering : an Introduction /
by: Wohlin, Claes
Published: (2000)

Advances in Software Engineering : Comprehension, Evaluation, and Evolution /
by: Erdogmus, Hakan
Published: (2002)

An Integrated Approach to Software Engineering /
by: Jalote, Pankaj
Published: (1997)