3799 search results - page 440 / 760 » An Engineering Approach to Formal Methods |
151
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
173
click to vote
DESRIST
2010
Springer
15 years 11 months ago
2010
Springer
Enterprise architecture (EA) describes the fundamental structure of an organization from business to IT. EA as a practice as well as a research topic has been around for several ye...
156
click to vote
IUI
1999
ACM
15 years 11 months ago
1999
ACM
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
169
click to vote
SEE
1997
Springer
15 years 11 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
188
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...