746 search results - page 101 / 150 » Formal Analysis of UML-Based Designs |
120
click to vote
ICFCA
2004
Springer
15 years 7 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
112
Voted
TLDI
2005
ACM
15 years 7 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
129
click to vote
WOSP
2005
ACM
15 years 7 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
102
Voted
INDIASE
2009
ACM
15 years 6 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
113
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...