1654 search results - page 49 / 331 » Comparing Two Software Design Process Theories |
GROUP
2005
ACM
15 years 3 months ago
2005
ACM
In distributed software development, two sorts of dependencies can arise. The structure of the software system itself can create dependencies between software elements, while the ...
WADT
1999
Springer
15 years 2 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
122
click to vote
ISSS
1996
IEEE
15 years 2 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
FOSSACS
2004
Springer
15 years 1 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...
IADIS
2003
14 years 11 months ago
2003
The present study investigated the instructional value of signals for learning while comparing two animations that differed solely in the presence / absence of visual signals. Sig...