1809 search results - page 221 / 362 » Software Model Checking Using Linear Constraints |
160
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
125
click to vote
AIM
2006
15 years 3 months ago
2006
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
115
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Software evolution research inherently has several resourceintensive logistical constraints. Archived project artifacts, such as those found in source code repositories and bug tr...
183
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
117
click to vote
CONSTRAINTS
2007
15 years 2 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...