Year | DOI | Venue |
---|---|---|
2003 | 10.1109/MEMCOD.2003.1210085 | International Conference on Formal Methods and Models for Co-Design |
Keywords | Field | DocType |
process control systems design,goal-oriented requirements analysis,computer bugs,goal orientation,software engineering,b method,system analysis and design,mathematics,requirement analysis,system engineering,systems analysis,system requirement,language translation,process control system,requirement gathering,mathematical programming,executable program,process control,automation,application software,formal specification,programming paradigm | Software engineering,Computer science,Systems analysis,Software bug,Requirements analysis,KAOS,Formal specification,Process control,System requirements,Advanced process control | Conference |
ISBN | Citations | PageRank |
0-7695-1923-7 | 6 | 0.60 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Islam A. M. El-maddah | 1 | 15 | 2.93 |
Tom Maibaum | 2 | 281 | 31.90 |