Agile specifications
Traditional formal methods and modern agile methods are separated more by limitations of current technology than by fundamental intellectual differences. A mixed interpreter that executes mixed programs, comprising both declarative specification statements and regular imperative statements, mig...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Association for Computing Machinery
2011
|
| Online Access: | http://hdl.handle.net/1721.1/62574 https://orcid.org/0000-0001-5959-5254 https://orcid.org/0000-0003-4864-078X |
| Summary: | Traditional formal methods and modern agile methods are
separated more by limitations of current technology than
by fundamental intellectual differences. A mixed interpreter
that executes mixed programs, comprising both declarative
specification statements and regular imperative statements,
might bridge the gap. This paper explores how such an
interpreter might be used, showing by example how it might
support a variety of development activities. |
|---|