Accès à distance ? S'identifier sur le proxy UCLouvain
The KAOS Project: Knowledge Acquisition in Automated Specification of Software
Primary tabs
| Document type | Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection |
|---|---|
| Publication date | 1991 |
| Language | Anglais |
| Conference | "Proceedings of the AAAI Spring Symposium Series", Stanford University (du 26/03/1991 au 28/01/1991) |
| Peer reviewed | yes |
| Host document | "American Association for Artificial Intelligence"- p. 59-62 |
| Publisher | American Association for Artificial Intelligence |
| Publication status | Publié |
| Affiliation | UCL - FSA/INGI - Département d'ingénierie informatique |
| Keywords | 1162 |
| Links |
| Bibliographic reference | van Lamsweerde, Axel ; Dardenne, Anne ; Delcourt, Bruno ; Dubisy, Françoise ; van Lamsweerde, Axel. The KAOS Project: Knowledge Acquisition in Automated Specification of Software.Proceedings of the AAAI Spring Symposium Series (Stanford University, du 26/03/1991 au 28/01/1991). In: American Association for Artificial Intelligence, American Association for Artificial Intelligence1991, p. 59-62 |
|---|---|
| Permanent URL | http://hdl.handle.net/2078.1/131906 |