4919 search results - page 341 / 984 » A Process-Ontological Model for Software Engineering |
106
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
145
click to vote
QSIC
2008
IEEE
15 years 11 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...
142
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
125
Voted
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
134
Voted
AUIC
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...