1347 search results - page 89 / 270 » A Web-based requirements analysis tool |
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
DAC
1996
ACM
15 years 4 months ago
1996
ACM
A case study in low-power system-level design is presented. We detail the design of a low-power embedded system, a touchscreen interface device for a personal computer. This devic...
98
Voted
ENTCS
2010
14 years 10 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
95
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
91
Voted
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...