Sciweavers

621 search results - page 73 / 125
» Functional and structural properties in the Model-Driven Eng...
Sort
View
ICSM
2007
IEEE
15 years 4 months ago
An Activity-Based Quality Model for Maintainability
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
Florian Deissenboeck, Stefan Wagner, Markus Pizka,...
SCAM
2006
IEEE
15 years 3 months ago
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
David Binkley, Mark Harman, Jens Krinke
ISSRE
2000
IEEE
15 years 2 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
TSE
2010
155views more  TSE 2010»
14 years 4 months ago
Incremental Test Generation for Software Product Lines
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
KES
2005
Springer
15 years 3 months ago
Extraction of Lexico-Syntactic Information and Acquisition of Causality Schemas for Text Annotation
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...
Laurent Alamarguy, Rose Dieng-Kuntz, Catherine Far...