Prototyping versus specifying: a multiproject experiment
IEEE Transactions on Software Engineering
Computer networks
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Formal verification of parallel programs
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Life cycle concept considered harmful
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |