886 search results - page 19 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
119
Voted
UML
2001
Springer
15 years 7 months ago
2001
Springer
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
114
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper addresses the problem of discriminative training of language models that does not require any transcribed acoustic data. We propose to minimize the conditional entropy ...
132
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
136
Voted
ICST
2009
IEEE
15 years 15 days ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
118
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...