( en | de | ru )

 

Disambiguierung von "West, Margaret Mary"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Automated Refinement of a Requirements Domain Theory.

, und . Autom. Softw. Eng., 8 (2): 195-218 (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Margaret Mary Bussigel

Margaret Mary Mitchell

Georg Mary

Thomas Marycz

Melanie Marysko

 

Weitere Publikationen von Autoren mit dem selben Namen

The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory., und . Int. J. Artif. Intell. Tools, 10 (4): 613-637 (2001)The Automated Refinement of a Requirements Domain Theory., und . Autom. Softw. Eng., 8 (2): 195-218 (2001)Automated Acquisition of Action Knowledge., , , und . ICAART, Seite 93-100. INSTICC Press, (2009)The application of a machine learning tool to the validation of an air traffic control domain theory., und . ICTAI, Seite 414-421. IEEE Computer Society, (2000)Acquiring planning domain models using LOCM., , und . Knowledge Eng. Review, 28 (2): 195-213 (2013)Issues in validation and executability of formal specifications in the Z notation.. University of Leeds, UK, (2002)British Library, EThOS.A Case Study in the Use of Theory Revision in Requirements Validation., und . ICML, Seite 368-376. Morgan Kaufmann, (1998)Acquisition of Object-Centred Domain Models from Planning Examples., , und . ICAPS, AAAI, (2009)Action Knowledge Acquisition with Opmaker2., , , und . ICAART (Revised Selected Papers), Volume 67 von Communications in Computer and Information Science, Seite 137-150. Springer, (2009)Towards the Automated Debugging and Maintenance of Logic-based Requirements Models., und . ASE, Seite 105-114. IEEE Computer Society, (1998)