AAAAAA

   
Results: 1-4 |
Results: 4
SUCCESSFUL INTRODUCTION OF DOMAIN ENGINEERING INTO SOFTWARE-DEVELOPMENT
Authors: ARDIS MA GREEN JA
Citation: Ma. Ardis et Ja. Green, SUCCESSFUL INTRODUCTION OF DOMAIN ENGINEERING INTO SOFTWARE-DEVELOPMENT, Bell Labs technical journal, 3(3), 1998, pp. 10-20
FORMAL METHODS FOR TELECOMMUNICATION SYSTEM REQUIREMENTS - A SURVEY OF STANDARDIZED LANGUAGES
Authors: ARDIS MA
Citation: Ma. Ardis, FORMAL METHODS FOR TELECOMMUNICATION SYSTEM REQUIREMENTS - A SURVEY OF STANDARDIZED LANGUAGES, ANNALS OF SOFTWARE ENGINEERING, 3, 1997, pp. 157-187
A FRAMEWORK FOR EVALUATING SPECIFICATION METHODS FOR REACTIVE SYSTEMS- EXPERIENCE REPORT
Authors: ARDIS MA CHAVES JA JAGADEESAN LJ MATAGA P PUCHOL C STASKAUSKAS MG VONOLNHAUSEN J
Citation: Ma. Ardis et al., A FRAMEWORK FOR EVALUATING SPECIFICATION METHODS FOR REACTIVE SYSTEMS- EXPERIENCE REPORT, IEEE transactions on software engineering, 22(6), 1996, pp. 378-389
SCENARIO ANALYSIS EXAMPLE IS FLAWED
Authors: ARDIS MA
Citation: Ma. Ardis, SCENARIO ANALYSIS EXAMPLE IS FLAWED, IEEE software, 11(4), 1994, pp. 5-5
Risultati: 1-4 |