4919 search results - page 791 / 984 » A Process-Ontological Model for Software Engineering |
174
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
158
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
167
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
173
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
241
click to vote
FAABS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...