4919 search results - page 521 / 984 » A Process-Ontological Model for Software Engineering |
185
click to vote
ICAART
2010
INSTICC
16 years 3 months ago
2010
INSTICC
This article introduces the notion of agreement patterns, which provide a framework for modelling reusable
problem solution descriptions for agreement fulfilment. In particular, t...
157
click to vote
FOSSACS
2003
Springer
16 years 1 days ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
169
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
170
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
174
click to vote
GI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...