1481 search results - page 175 / 297 » Enriching the Software Development Process by Formal Methods |
132
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The availability of microarrays measuring thousands of genes simultaneously across hundreds of biological conditions represents an opportunity to understand both indiv...
143
click to vote
ICDCIT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
120
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
120
Voted
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
156
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...