3799 search results - page 202 / 760 » An Engineering Approach to Formal Methods |
119
click to vote
ICRE
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
129
Voted
SDE
1991
15 years 8 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
126
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
141
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
129
click to vote
XPU
2005
Springer
15 years 10 months ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...