16725 search results - page 2664 / 3345 » Engineering Software Correctness |
222
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
205
click to vote
ECAIW
1994
Springer
15 years 11 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
217
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
203
click to vote
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
207
Voted
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...