Foundations of Sequence-Based Software Specification.
Stacy J. ProwellJesse H. PoorePublished in: IEEE Trans. Software Eng. (2003)
Keyphrases
- software design
- software development
- software tools
- software systems
- software architecture
- tool suite
- data mining
- artificial intelligence
- control flow
- analysis tool
- reactive systems
- commercial software
- computer software
- formal specification
- software quality
- highly modular
- hardware design
- platform independent
- database
- software testing
- software maintenance
- software projects
- software components
- open source
- object oriented
- multi agent
- information systems
- neural network
- real time