Sciweavers

1612 search results - page 208 / 323
» A relational approach to software metrics
Sort
View
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
14 years 1 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
FASE
2001
Springer
14 years 24 days 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
ESEC
1999
Springer
14 years 17 days ago
Checking Progress with Action Priority: Is it Fair?
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
WCRE
1999
IEEE
14 years 17 days ago
An Incremental Semi-Automatic Method for Component Recovery
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
Rainer Koschke
WER
1999
Springer
14 years 16 days ago
A Knowledge Acquisition Systematic within the Domain Analysis Context
This work presents a systematic approach to knowledge acquisition within the domain analysis context, which grants a well defined process for eliciting and representing domain info...
Mônica Zopelari Roseti, Cláudia Maria...