The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 03 - March (vol. 39)
ISSN: 0098-5589
REGULAR PAPERS

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems (Abstract)

Lorenzo Ridi , Università degli Studi di Firenze, Firenze
Laura Carnevali , Università degli Studi di Firenze, Firenze
Enrico Vicario , Università degli Studi di Firenze, Firenze
pp. 292-304

Alloy Meets the Algebra of Programming: A Case Study (Abstract)

José N. Oliveira , University of Minho, Braga
Miguel A. Ferreira , Software Improvement Group, Amsterdam
pp. 305-326

Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments (Abstract)

Giuseppe Scanniello , University of Basilicata Viale DellAteneo, Macchia Romana, Potenza
Genoveffa Tortora , University of Salerno via Ponte Don Melillo, Salerno
Emilio Insfran , Universitat Politècnica de València, València
Carmine Gravino , University of Salerno via Ponte Don Melillo, Salerno
Silvia Abrahão , Universitat Politècnica de València, València
pp. 327-342

Coordination Breakdowns and Their Impact on Development Productivity and Software Failures (Abstract)

James D. Herbsleb , Carnegie Mellon University, Pittsburgh
Marcelo Cataldo , Robert Bosch LLC
pp. 343-360

Elaborating Requirements Using Model Checking and Inductive Learning (Abstract)

Alessandra Russo , Imperial College London, London
Jeff Kramer , Imperial College London, London
Dalal Alrajeh , Imperial College London, London
Sebastian Uchitel , Imperial College London, London
pp. 361-383

Resource Management for Complex, Dynamic Environments (Abstract)

Mohammad S. Raunak , Loyola University MD, Baltimore
Leon J. Osterweil , University of Massachusetts Amherst, Amherst
pp. 384-402

Self-Management of Adaptable Component-Based Applications (Abstract)

Antónia Lopes , University of Lisbon, Lisbon
Luís Rodrigues , INESC-ID and Universidade Técnica de Lisboa, Lisboa
Liliana Rosa , INESC-ID and Universidade Técnica de Lisboa, Lisboa
Matti Hiltunen , AT&T Labs-Research, Florham Park
Richard Schlichting , AT&T Labs Research, Florham Park
pp. 403-421

Self-Organizing Roles on Agile Software Development Teams (Abstract)

James Noble , Victoria University of Wellington, Wellington
Rashina Hoda , The University of Auckland, Auckland
Stuart Marshall , Victoria University of Wellington, Wellington
pp. 422-444
97 ms
(Ver )