| dc.contributor.author | Rayside, Derek | |
| dc.contributor.author | Milicevic, Aleksandar | |
| dc.contributor.author | Yessenov, Kuat T. | |
| dc.contributor.author | Jackson, Daniel | |
| dc.date.accessioned | 2011-05-02T17:42:01Z | |
| dc.date.available | 2011-05-02T17:42:01Z | |
| dc.date.issued | 2009-10 | |
| dc.date.submitted | 2009-10 | |
| dc.identifier.isbn | 978-1-60558-768-4 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/62574 | |
| dc.description.abstract | 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. | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Grant No. 0541183) | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Association for Computing Machinery | en_US |
| dc.relation.isversionof | http://dx.doi.org/10.1145/1639950.1640070 | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike 3.0 | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/3.0/ | en_US |
| dc.source | MIT web domain | en_US |
| dc.title | Agile specifications | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson. 2009. Agile specifications. In Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications (OOPSLA '09). ACM, New York, NY, USA, 999-1006. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.approver | Jackson, Daniel | |
| dc.contributor.mitauthor | Rayside, Derek | |
| dc.contributor.mitauthor | Milicevic, Aleksandar | |
| dc.contributor.mitauthor | Yessenov, Kuat T. | |
| dc.contributor.mitauthor | Jackson, Daniel | |
| dc.relation.journal | Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications | en_US |
| dc.eprint.version | Author's final manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| dspace.orderedauthors | Rayside, Derek; Milicevic, Aleksandar; Yessenov, Kuat; Dennis, Greg; Jackson, Daniel | en |
| dc.identifier.orcid | https://orcid.org/0000-0001-5959-5254 | |
| dc.identifier.orcid | https://orcid.org/0000-0003-4864-078X | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
| mit.metadata.status | Complete | |
