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)

Laura Carnevali , Università degli Studi di Firenze, Firenze
Lorenzo Ridi , 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)

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

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

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

Elaborating Requirements Using Model Checking and Inductive Learning (Abstract)

Dalal Alrajeh , Imperial College London, London
Jeff Kramer , Imperial College London, London
Alessandra Russo , 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)

Liliana Rosa , INESC-ID and Universidade Técnica de Lisboa, Lisboa
Luís Rodrigues , INESC-ID and Universidade Técnica de Lisboa, Lisboa
Antónia Lopes , University of Lisbon, Lisbon
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)

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