Sequence-Based Software Specification of Deterministic Systems.
Stacy J. ProwellJesse H. PoorePublished in: Softw. Pract. Exp. (1998)
Keyphrases
- computer systems
- highly modular
- formal methods
- commercial software
- software engineers
- distributed systems
- user interface
- knowledge based systems
- software systems
- software packages
- data sets
- software components
- software developers
- reactive systems
- enterprise systems
- real time systems
- industrial strength
- design patterns
- software tools
- complex systems
- building blocks
- software development
- learning objects
- expert systems
- e learning