831 search results - page 42 / 167 » Software architecture critics in the Argo design environment |
111
click to vote
FASE
2000
Springer
15 years 4 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
The next ten years will see distributed real-time computer systems replacing many mechanical and hydraulic control systems in high-dependability applications. In these application...
110
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
ISSS
1997
IEEE
15 years 5 months ago
1997
IEEE
Given a hardware/software partitioned specification and an allocation (number and type) of processors, we present an algorithm to (1) map each of the software behaviors (or tasks...
117
click to vote
CDVE
2007
Springer
15 years 7 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...