By Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.)

This booklet constitutes the refereed complaints of the 4th overseas convention on Formal Engineering tools, ICFEM 2002, held in Shanghai, China, in October 2002.

The forty three revised complete papers and sixteen revised brief papers offered including five invited contributions have been conscientiously reviewed and chosen from a complete of 108 submissions. The papers are equipped in topical sections on part engineering and software program structure, strategy integration, specification recommendations and languages, instruments and environments, refinement, functions, validation and verification, UML, and semantics.

Show description

Read Online or Download Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings PDF

Best technique books

Nanoengineering of Structural, Functional and Smart Materials

During this selection of 24 articles, participants describe their examine within the improvement of multifunctional fabrics which are powerful, light-weight and flexible. besides useful info at the ways that they carried out their paintings, participants additionally 5 details on functions in composite fabrics, electronics, biosensing and clever fabrics.

Machine Learning and Systems Engineering

A wide foreign convention on Advances in computing device studying and structures Engineering was once held in UC Berkeley, California, united states, October 20-22, 2009, lower than the auspices of the area Congress on Engineering and laptop technology (WCECS 2009). computing device studying and structures Engineering comprises forty-six revised and prolonged learn articles written via in demand researchers engaging within the convention.

Nanoreactor Engineering for Life Sciences and Medicine (Artech House Series Engineering in Medicine & Biology)

Nanoreactors are nanoscale cars for enzymes and sensors which are used to create actual and chemical reactions. Nanoreactor builders are at the cusp of awesome advances in scientific diagnostics and cures, tissue engineering, and phone biology, and this authoritative source places bioengineers correct on the leading edge.

Extra resources for Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Sample text

47 Hong Mei et al. 6 Conclusion This paper presents an architecture description language supporting component composition. By separating run-time and design-time configurations, supporting composite components and complex connectors, introducing aspects, it effectively support the ABC approach. Besides, it provides an open framework to allow user extend the language. A supporting tool, ABC Tool, has been implemented. One of the future works is to setup an XML-based framework for ABC/ADL. XML provides a standard way to define the ADL, facilitating understanding and transforming ADL.

Objectives include the reusability, portability, and interoperability of object-oriented software components in heterogeneous environments. CORBA(Common Object Request Broker Architecture) is a set of open standards proposed by the OMG in order to promote interoperability between distributed object systems[1]. CORBA reaches several operational goals: language and platform independent through the use of a common Interface Definition Language (IDL), promote crossplatform, cross-language interoperability between heterogeneous application systems, and provide a seamless integration with popular object-oriented and non-objectoriented programming languages such a C, C++, or Java.

The ‘Hoare Logic’ of CSP, and All That. ACM Transactions on Programming Languages and Systems, 6(2):281–296, April 1984. 9. Leslie Lamport. The ‘Hoare Logic’ of Concurrent Programs. Acta Informatica, 14:21–37, 1980. 10. C. C. Morgan. Programming from Specifications. Prentice-Hall, 1990. 11. J. M. Morris. A Theoretical Basis for Stepwise Refinement and the Programming Calculus. Science of Computer Programming, 9(3):287–306, 1987. 12. Susan Owicki and David Gries. An axiomatic proof technique for parallel programs I.

Download PDF sample

Rated 4.75 of 5 – based on 14 votes