SC Harvester Papers Database Interface

FORMAL SPECIFICATION AND VERIFICATION OF CONCURRENT AND REACTIVE SYSTEMS

M. Sirjani. In: . 2004

Specification, simulation, and verification of component connectors in Reo

M. Mousavi, M. Sirjani, F. Arbab. In: . 2004

Modeling and Verification of Reactive Systems using Rebeca

M. Sirjani, A. Movaghar. 2004

Model Checking CSMA / CD Protocol using an Actor-Based Language

M. Sirjani, Hassan Seyed Razi, A. Movaghar, M. Jaghoori, Sara Forghanizadeh et al. 2004

Community-based customer involvement for improving packaged software development

H. Holmström. In: . 2004

An overview of the contribution of the Day of Study.

P. Marano, A. Cicchetti. In: Rays. 2004

The organizational evolution of the University Polyclinic "A. Gemelli", Roma.

A. Cicchetti. In: Rays. 2004

A Research Agenda for Critiquing in Military Decision-Making

O. Leifler, H. Eriksson. In: . 2004

Development of Critiquing Systems in Network Organizations

O. Leifler, B. Johansson, M. Persson, Georgios Rigas. In: . 2004

Developing critiquing systems for network organizations.

O. Leifler, B. Johansson, Georgios Rigas, M. Persson. In: . 2004

19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS

A. Jansen, J. Bosch. In: . 2004

Software Reuse: Methods, Techniques, and Tools

J. Bosch, C. Krueger. In: . 2004

20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS

S. Deelstra, Marco Sinnema, J. Nijhuis, J. Bosch. In: . 2004

Managing Variability in Software Product Families

Marco Sinnema, S. Deelstra, J. Nijhuis, J. Bosch. In: . 2004

ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS

J. Bosch. In: . 2004