Titlebook: Radical Innovations of Software and Systems Engineering in the Future; 9th International Wo Martin Wirsing,Alexander Knapp,Simonetta Balsam

capsule

0302-9743 in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation wa

growth-factor

Architecture Specific Models: Software Design on Abstract Platforms,we consider the middlewares supporting a peer-to-peer architecture, because of the growing interest in mobile applications with nomadic users and the presence of many proposals of peer-to-peer middlewares.

Parallel

Model Generation for Legacy Systems,ikes back. This paper focusses on a particularly promising cure: . model construction allows a new way of size control that complements other powerful techniques, which together have the potential to scale to systems of realistic size. This is illustrated by considering . views in the context of Computer Telephony Integrated Systems.

Cardioversion

MEET

妨碍议事

Tight Structuring for Precise UML-Based Requirement Specifications,ciplined methods, that a tighter and more precise structuring of the artifacts for the different phases of the software development process may help speed-up the process, while obviously making easier the consistency checks among the various artifacts. To support our claim we have started to investi

sparse

Integrating Performance Modeling in the Software Development Process,integrate performance models and specification languages and models to derive or validate non-functional properties of a software system. Such integration of quantitative performance analysis should provide feedback easily understandable by the software designer and system developers. A framework th

技术

同音

Toward Component-Oriented Formal Software Development: An Algebraic Approach,implified view of software components and discuss how they can be conveniently modelled in a framework that provides a modular approach to formal software development by means of stepwise refinement. In particular we take into account an observational interpretation of requirements specifications an