3828 search results - page 385 / 766 » Proof-Based System Engineering Using a Virtual System Model |
225
click to vote
ASE
1998
15 years 6 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
181
click to vote
QSIC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
173
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
206
click to vote
SCESM
2006
ACM
16 years 21 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
234
click to vote
JIT
2004
Springer
16 years 3 days ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...