5407 search results - page 365 / 1082 » The Software Engineering Global Model |
139
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
142
click to vote
KBSE
2008
IEEE
16 years 1 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...
160
click to vote
COMPSAC
2002
IEEE
15 years 11 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...
186
click to vote
SEKE
1992
Springer
15 years 11 months ago
1992
Springer
Domain analysis typically results in the construction of a domain-specific repository. Such a repository imposes artificial boundaries on the sharing of similar assets between rel...
183
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...