Sciweavers

1987 search results - page 80 / 398
» Structural Model: Architecture for Software Designers
Sort
View
145
Voted
ISOLA
2010
Springer
15 years 1 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
147
Voted
FASE
2008
Springer
15 years 5 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
139
Voted
COMPLIFE
2006
Springer
15 years 7 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga
151
Voted
IWPC
2008
IEEE
15 years 10 months ago
Identifying Architectural Change Patterns in Object-Oriented Systems
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
Xinyi Dong, Michael W. Godfrey
132
Voted
METRICS
2003
IEEE
15 years 9 months ago
An Analogy-Based Approach for Predicting Design Stability of Java Classes
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
David Grosser, Houari A. Sahraoui, Petko Valtchev