Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.
Marten SijtemaMariëlle StoelingaAxel BelinfanteLawrence MarinelliPublished in: FMICS (2011)
Keyphrases
- formal methods
- software testing
- test case generation
- requirements specification
- formal specification
- development lifecycle
- software engineering
- model based testing
- software development
- test cases
- software systems
- embedded software
- highly modular
- specification language
- software requirements
- code generation
- artificial intelligence
- high speed
- formal verification
- platform independent
- test suite
- software design
- development kit
- quality assurance
- software intensive systems
- testing process
- software implementation
- search based software testing
- intelligent software
- test data generation
- high level
- computer science
- user interface
- computer systems
- formal language
- specification languages
- case study
- software architecture
- life cycle
- tool suite
- design patterns
- engineering design
- dedicated hardware
- software maintenance
- hardware design
- operational semantics
- software process
- sequence diagrams