Sciweavers

2057 search results - page 123 / 412
» Developing the Designer's Toolkit with Software Comprehensio...
Sort
View
FASE
2001
Springer
15 years 9 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
KBSE
2008
IEEE
15 years 11 months ago
Using dependency model to support software architecture evolution
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
ICSE
2004
IEEE-ACM
15 years 9 months ago
Precise Modeling of Design Patterns in UML
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Danie...
LCTRTS
2010
Springer
15 years 2 months ago
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
Matthias Biehl, De-Jiu Chen, Martin Törngren
AGILEDC
2008
IEEE
15 years 11 months ago
Fully Distributed Scrum: The Secret Sauce for Hyperproductive Offshored Development Teams
Scrum was designed to achieve a hyperproductive state where productivity increases 5-10 times over industry averages and many collocated teams have achieved this effect. The quest...
Jeff Sutherland, Guido Schoonheim, Eelco Rustenbur...