4919 search results - page 586 / 984 » A Process-Ontological Model for Software Engineering |
128
click to vote
ICCBSS
2003
Springer
15 years 10 months ago
2003
Springer
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...
129
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
130
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
143
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...
135
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...