Incremental Specification and Analysis in the Context of Coloured Petri Nets

Abstract

Incremental development involves creating a new specification or implementation by modifying an existing one. This is a commonly used technique for handling complex systems in hardware and software engineering. In fact, incremental development is fundamental to object-orientation, the widely adopted approach to software engineering which uses the mechanism… (More)

131 Figures and Tables

Topics

  • Presentations referencing similar topics