1146 search results - page 12 / 230 » Formal Specification Generation from Requirement Documents |
PROCEDIA
2010
14 years 4 months ago
2010
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
RIAO
2000
14 years 11 months ago
2000
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
HYBRID
2009
Springer
15 years 1 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
JSS
2010
14 years 4 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
TSE
1998
14 years 9 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...