Sciweavers

85 search results - page 6 / 17
» Unifying Analysis Tools with Rosetta
Sort
View
ISSRE
2000
IEEE
13 years 12 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...
BMCBI
2008
163views more  BMCBI 2008»
13 years 7 months ago
The Annotation, Mapping, Expression and Network (AMEN) suite of tools for molecular systems biology
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
Frédéric Chalmel, Michael Primig
BMCBI
2008
131views more  BMCBI 2008»
13 years 7 months ago
CoCoNUT: an efficient system for the comparison and analysis of genomes
Background: Comparative genomics is the analysis and comparison of genomes from different species. This area of research is driven by the large number of sequenced genomes and hea...
Mohamed Ibrahim Abouelhoda, Stefan Kurtz, Enno Ohl...
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
13 years 11 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
SEMCO
2009
IEEE
14 years 2 months ago
A Quality Perspective of Software Evolvability Using Semantic Analysis
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...
Philipp Schügerl, Juergen Rilling, René...