Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost.
Marten SijtemaAxel BelinfanteMariëlle StoelingaLawrence MarinelliPublished in: Sci. Comput. Program. (2014)
Keyphrases
- requirements specification
- formal methods
- development lifecycle
- test case generation
- specification language
- requirements engineering
- formal specification
- software testing
- test cases
- software requirements
- software engineering
- software development
- model based testing
- highly modular
- artificial intelligence
- formal verification
- reactive systems
- embedded software
- software systems
- code generation
- software tools
- quality assurance
- software intensive systems
- testing process
- platform independent
- case study
- hardware design
- development process
- control flow
- computer science
- user interface
- development kit
- tool suite
- dedicated hardware
- software components
- aspect oriented
- hardware implementation
- formal languages
- java virtual machine
- embedded systems
- software architecture
- test data generation
- software projects
- design process
- intelligent software
- protocol specification
- current status
- high level