[图书][B] Real-time Systems: implementation of industrial computerized process automation
WA Halang, KM Sacha - 1992 - books.google.com
This book represents the first comprehensive text in English on real-time and embedded
computing systems. It is addressed to engineering students of universities and polytechnics …
computing systems. It is addressed to engineering students of universities and polytechnics …
Formal modeling methodologies for control of manufacturing cells: Survey and comparison
I Castillo, JS Smith - Journal of Manufacturing Systems, 2002 - Elsevier
Over the last two decades, several formal modeling methodologies have emerged. In the
manufacturing cell control domain, these methodologies are directed toward integrating the …
manufacturing cell control domain, these methodologies are directed toward integrating the …
PLEASE: Executable specifications for incremental software development
RB Terwilliger, RH Campbell - Journal of Systems and Software, 1989 - Elsevier
PLEASE is an executable specification language that supports software development by
incremental refinement. PLEASE is part of the ENCOMPASS environment that provides …
incremental refinement. PLEASE is part of the ENCOMPASS environment that provides …
ENCOMPASS: An environment for the incremental development of software
RB Terwilliger, RH Campbell - Journal of Systems and Software, 1989 - Elsevier
ENCOMPASS is an integrated environment constructed by the SAGA project to support
incremental software development in a manner similar to the Vienna Development Method …
incremental software development in a manner similar to the Vienna Development Method …
Efficient handling of data structures in definitional languages
BK Szymanski, NS Prywes - Science of Computer Programming, 1988 - Elsevier
Implementations of operations on general data structures in definitional languages often
lead to excessive copying and storage requirements. To partially overcome this problem …
lead to excessive copying and storage requirements. To partially overcome this problem …
Partitioning of massive/real-time programs for parallel processing
I Lee, N Prywes, B Szymanski - Advances in computers, 1986 - Elsevier
Publisher Summary Partitioning of a computation is the key to software development for
parallel processing. This chapter focuses on parallel software development methodology …
parallel processing. This chapter focuses on parallel software development methodology …
[图书][B] ENCOMPASS: an environment for incremental software development using executable, logic-based specifications
RB Terwilliger - 1987 - search.proquest.com
Abstract The Vienna Development Method (VDM) supports the top-down development of
software specified in a notation suitable for formal verification. VDM has been used in …
software specified in a notation suitable for formal verification. VDM has been used in …
Embedded systems software specification and design methods
KM Sacha - … Conference on Software Engineering for Real …, 1989 - ieeexplore.ieee.org
Embedded systems software specification and design methods - Software Engineering for Real
Time Systems, 1989., Second Internati Page 1 EMBEDDED SYSTEMS SOFTWARE …
Time Systems, 1989., Second Internati Page 1 EMBEDDED SYSTEMS SOFTWARE …
Using executable specification languages for interface checking of large, distributed systems
LM Liu, NS Prywes - Twenty-Third Annual Hawaii International …, 1990 - ieeexplore.ieee.org
The authors discuss the automatic checking of the consistency of interfaces between
components of large, distributed systems. The approach is based on executable …
components of large, distributed systems. The approach is based on executable …