Computer Aided Evolutionary Design for Software Engineering
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of software systems. Our project draws a distinction between algorithms and systems, centering on...
| Main Authors: | , , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6314 |
| _version_ | 1811092406020341760 |
|---|---|
| author | Rich, Charles Shrobe, Howard E. Waters, Richard C. |
| author_facet | Rich, Charles Shrobe, Howard E. Waters, Richard C. |
| author_sort | Rich, Charles |
| collection | MIT |
| description | We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of software systems. Our project draws a distinction between algorithms and systems, centering on its attention on support for the system designer. Although verification has played a large role in recent research, our perspective suggests that the complexity and evolutionary nature of software systems requires a number of additional techniques, which are described in this paper. |
| first_indexed | 2024-09-23T15:17:39Z |
| id | mit-1721.1/6314 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T15:17:39Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/63142019-04-10T18:32:05Z Computer Aided Evolutionary Design for Software Engineering Rich, Charles Shrobe, Howard E. Waters, Richard C. We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of software systems. Our project draws a distinction between algorithms and systems, centering on its attention on support for the system designer. Although verification has played a large role in recent research, our perspective suggests that the complexity and evolutionary nature of software systems requires a number of additional techniques, which are described in this paper. 2004-10-04T14:50:36Z 2004-10-04T14:50:36Z 1979-01-01 AIM-506 http://hdl.handle.net/1721.1/6314 en_US AIM-506 9236589 bytes 6571845 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Rich, Charles Shrobe, Howard E. Waters, Richard C. Computer Aided Evolutionary Design for Software Engineering |
| title | Computer Aided Evolutionary Design for Software Engineering |
| title_full | Computer Aided Evolutionary Design for Software Engineering |
| title_fullStr | Computer Aided Evolutionary Design for Software Engineering |
| title_full_unstemmed | Computer Aided Evolutionary Design for Software Engineering |
| title_short | Computer Aided Evolutionary Design for Software Engineering |
| title_sort | computer aided evolutionary design for software engineering |
| url | http://hdl.handle.net/1721.1/6314 |
| work_keys_str_mv | AT richcharles computeraidedevolutionarydesignforsoftwareengineering AT shrobehowarde computeraidedevolutionarydesignforsoftwareengineering AT watersrichardc computeraidedevolutionarydesignforsoftwareengineering |