Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation.
Engelbert WestkämperMatthias BengelKatja FischerPublished in: SoftSpez Final Report (2004)
Keyphrases
- case study
- software development
- development process
- software design
- software systems
- tool suite
- software projects
- design principles
- software tools
- high level
- computer systems
- hardware design
- database
- specification language
- real world
- product quality
- production system
- user interface
- source code
- software platform
- requirements specification
- process automation
- software evolution
- software developers
- software package
- formal methods
- production planning
- data sets
- formal specification
- data model
- artificial intelligence
- information systems
- software architecture
- petri net
- design process
- knowledge management