Sciweavers

4360 search results - page 539 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
ICSM
2005
IEEE
16 years 12 days ago
Analyzing Feature Traces to Incorporate the Semantics of Change in Software Evolution Analysis
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
Orla Greevy, Stéphane Ducasse, Tudor G&icir...
ECOOPWEXCEPTION
2000
Springer
15 years 11 months ago
Supporting Evolution of Interface Exceptions
Interface exceptions (explicitly declared exceptions that a method can propagate outside) are an inherent part of the interface describing the behaviour of a particular class of ob...
Anna Mikhailova, Alexander B. Romanovsky
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
16 years 18 hour ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
ISSRE
2002
IEEE
15 years 11 months ago
Fault Contribution Trees for Product Families
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
Dingding Lu, Robyn R. Lutz
ICSE
2009
IEEE-ACM
15 years 11 months ago
A compositional approach to bidirectional model transformation
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...