1307 search results - page 212 / 262 » Conceptual models: begin by designing what to design |
ISPW
1991
IEEE
13 years 11 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
CAV
1998
Springer
14 years 3 days ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
AGENTS
2000
Springer
14 years 6 days ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
SCM
1998
13 years 9 months ago
1998
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
IWSSD
1993
IEEE
13 years 12 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...