Sciweavers

1308 search results - page 42 / 262
» Application of Hazard Analysis to Software Quality Modelling
Sort
View
ECSA
2007
Springer
14 years 3 months ago
An Ontology-Based Approach for Modelling Architectural Styles
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
Claus Pahl, Simon Giesecke, Wilhelm Hasselbring
ICECCS
2005
IEEE
87views Hardware» more  ICECCS 2005»
14 years 2 months ago
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
Yali Zhu
FASE
2007
Springer
14 years 3 months ago
An Approach to Software Evolution Based on Semantic Change
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
Romain Robbes, Michele Lanza, Mircea Lungu
APSEC
2004
IEEE
14 years 19 days ago
A Project Management Support Tool using Communication for Agile Software Development
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
Noriko Hanakawa, Kimiharu Okura
TCAD
2008
181views more  TCAD 2008»
13 years 8 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...