Sciweavers

3021 search results - page 423 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
ICSM
2005
IEEE
16 years 1 days ago
The Conceptual Cohesion of Classes
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...
Andrian Marcus, Denys Poshyvanyk
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 11 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
IEE
2008
115views more  IEE 2008»
15 years 6 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
SIGSOFT
2001
ACM
16 years 7 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
ICSE
2007
IEEE-ACM
16 years 6 months ago
Tracking Code Clones in Evolving Software
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...
Ekwa Duala-Ekoko, Martin P. Robillard