13 search results - page 1 / 3 » Lessons from Using Basic LOTOS |
ICSE
1994
IEEE-ACM
13 years 9 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
FORTE
1989
13 years 6 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
FECS
2006
13 years 6 months ago
2006
Improving the quality of student thinking should be given a high priority in any educational system as good thinking is essential in meeting the challenges of living in a rapidly ...
ETS
2006
IEEE
13 years 11 months ago
2006
IEEE
- The resources available on a chip continue to grow, following Moore's Law. However, the major process by which the benefits of Moore's Law accrue, which is the continui...
SIGSOFT
2002
ACM
14 years 6 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...