Sciweavers

3639 search results - page 412 / 728
» Provenance as Dependency Analysis
Sort
View
ECOOPW
2003
Springer
15 years 12 months ago
Modeling Variability for Object-Oriented Product Lines
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
Matthias Riebisch, Detlef Streitferdt, Ilian Pasho...
COMPSAC
2002
IEEE
15 years 11 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
MCS
2001
Springer
15 years 11 months ago
Finding Consistent Clusters in Data Partitions
Abstract. Given an arbitrary data set, to which no particular parametrical, statistical or geometrical structure can be assumed, different clustering algorithms will in general pr...
Ana L. N. Fred
RE
2001
Springer
15 years 11 months ago
XML-Based Method and Tool for Handling Variant Requirements in Domain Models
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
Stan Jarzabek, Hongyu Zhang