Abstract | ||
---|---|---|
We report on a case study of applying a two-tiered approach to model hardware design processes. First we use CCS and tools of the Concurrency Workbench to specify and rigorously analyse the dynamics of design processes. Then we transform the validated abstract process model semi-automatically into Marvel rules, objects and envelopes. The resulting executable model provides a process environment for the public domain collection of design tools, Alliance. The purpose of this experiment was to demonstrate that much of the effort currently spent for research under the headings CAD frameworks and task and session management could be saved by exploiting software engineering results, in particular the emerging software process technology. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/3-540-57739-4_29 | EWSPT |
Keywords | Field | DocType |
design process,public domain,software engineering,process model,software process | Software design,Personal software process,Software engineering,Systems engineering,Computer science,Software development process,Computer-aided software engineering,Empirical process (process control model),Design process,Software construction,Computer hardware,Goal-Driven Software Development Process | Conference |
ISBN | Citations | PageRank |
3-540-57739-4 | 1 | 0.42 |
References | Authors | |
4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernd J. Kramer | 1 | 748 | 88.12 |
Burhan Dinler | 2 | 3 | 1.21 |