[图书][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 …

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 …

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 …

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 …

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 …

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 …

[图书][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 …

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 …

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 …

[PDF][PDF] wur>\^ Xl

VY LUM - 1987 - core.ac.uk
Finding effective and efficient methods for determining and validating the re-quirements for a
software system is animportant unsolved problem in software engineering. Prototyping is a …