3837 search results - page 23 / 768 » Concurrent Engineering support in Software Engineering |
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
EWSPT
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...