publication venue for
- A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition 1989
- Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. 44:11-13. 2019
- Abstract only. 36:42-42. 2011
- Goals for software engineering student education. 30:6-8. 2005
- Using information about functions in selecting test cases. 30:1-7. 2005
- Requirements-based monitors for real-time systems. 25:77-85. 2000
- Parnas on Parnas. 24:47-49. 1999
- On code reuse. 24:4-4. 1999
- Who taught me about software engineering research?. 23:26-28. 1998
- Successful software engineering research. 23:64-68. 1998
- Integration of sequential scenarios. 22:310-326. 1997
- Software engineering (extended abstract). 22:1-3. 1997
- What we teach software engineers in the university. 22:40-50. 1997
- Interconnecting formalisms. 20:72-80. 1995
- On ICSE's “most influential” papers. 20:29-32. 1995
- On satisfying timing constraints in hard-real-time systems. 16:132-146. 1991
- Software aspects of strategic defense systems. 10:15-23. 1985