The Community for Technology Leaders
International Conference on Software Engineering Companion (2009)
Vancouver, BC, Canada
May 16, 2009 to May 24, 2009
ISBN: 978-1-4244-3495-4
TABLE OF CONTENTS

Software Engineering for the Next Internet (PDF)

Pamela Zave , AT&T Laboratories¿Research, Florham Park, New Jersey, USA
pp. 1-11

The role of judgment in software estimation (PDF)

Steven Fraser , Cisco Research Center, Cisco System, San Jose, CA, USA
Barry Boehm , USC Center for Software Engineering, Los Angeles, CA, USA
Hakan Erdogmus , Software Engineering Group, National Research Council, Ottawa, ON. Canada
Magne Jorgensen , Simula Research Center, Lysaker, Norway
Stan Rifkin , Master Systems, Carlsbad, CA. USA
Mike Ross , r2Estimating, LLC, Scottsdale, AZ. USA
pp. 13-17

Model checking flight control systems: The Airbus experience (PDF)

Thomas Bochot , AIRBUS France, 316 route de Bayonne 31060 Toulouse Cedex 03, France
Pierre Virelizier , AIRBUS France, 316 route de Bayonne 31060 Toulouse Cedex 03, France
Helene Waeselynck , LAAS-CNRS; Université de Toulouse; 7 avenue du Colonel Roche, F-31077, France
Virginie Wiels , ONERA/DTIM, 2 avenue Edouard Belin, 31055 Toulouse, France
pp. 18-27

Extracting, specifying and predicting software system properties in component based real-time embedded software development (PDF)

Ji Eun Kim , Research and Technology Center, Bosch LLC, Pittsburgh, USA
Oliver Rogalla , Robert Bosch GmbH, Schwieberdingen, Germany
Simon Kramer , Robert Bosch GmbH, Schwieberdingen, Germany
Arne Hamann , Robert Bosch GmbH, Schwieberdingen, Germany
pp. 28-38

Experience with modularity in an advanced teleconferencing service deployment (PDF)

Eric Cheung , AT&T Labs - Research, 180 Park Avenue, Florham Park, NJ, U.S.A.
Thomas M. Smith , AT&T Labs - Research, 180 Park Avenue, Florham Park, NJ, U.S.A.
pp. 39-49

Refactoring big balls of mud (PDF)

Paul Adamczyk , LIFIA, Facultad de Informática, Universidad Nacional de La Plata, Argentina
Arturo Zambrano , LIFIA, Facultad de Informática, Universidad Nacional de La Plata, Argentina
Federico Balaguer , LIFIA, Facultad de Informática, Universidad Nacional de La Plata, Argentina
pp. 50-60
Papers

Cover (PDF)

pp. c1

Title page (PDF)

pp. i

Copyright page (PDF)

pp. ii

Foreword (PDF)

pp. iii

Sponsors (PDF)

pp. x-xi

Notes (PDF)

pp. xii

Table of contents (PDF)

pp. xiii-xix

Notes (PDF)

pp. xx

Model-based Methodologies for Pervasive and Embedded Software (PDF)

Joao M. Fernandes , Dept. Informática, Universidade do Minho, Braga, Portugal
Ricardo J. Machado , Dept. Sist. Informação, Universidade do Minho, Guimarães, Portugal
Luis C. Lamb , Institute of Informatics, UFRGS, Porto Alegre, Brazil
Flavio R. Wagner , Institute of Informatics, UFRGS, Porto Alegre, Brazil
pp. 443-444

SUITE 2009: First international workshop on search-driven development - users, infrastructure, tools and evaluation (PDF)

Sushil Bajracharya , University of California, Irvine, USA
Adrian Kuhn , University of Bern, China
Yunwen Ye , Software Research Associates, Inc., Japan
pp. 445-446

Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009) (PDF)

Patricia Lago , VU University Amsterdam, The Netherlands
Paris Avgeriou , University of Groningen, The Netherlands
Philippe Kruchten , University of British, Columbia, Canada
pp. 447-448

Seventh workshop on Software Quality (PDF)

Barry Boehm , University of Southern California, Center for Software Engineering, USA
Sunita Chulani , Cisco Systems Inc, 170 West Tasman Drive, San Jose, CA 95134-1706, USA
June Verner , National ICT Australia, Australian Technology Park, Australia
Bernard Wong , University of Technology Sydney, PO Box 123, Broadway NSW 2007, Australia
pp. 449-450

Cooperative and human aspects of software engineering (CHASE 2009) (PDF)

Cleidson de Souza , UFPA, Brazil
Helen Sharp , Open University, UK
Yvonne Dittrich , IT University of Copenhagen, Denmark
Janice Singer , NRC, Canada
pp. 451-452

Modeling in Software Engineering (MiSE 09) (PDF)

Robert Baillargeon , Panasonic Automotive Systems of America, Peachtree City, Georgia, USA
Bernhard Rumpe , Software Engineering Group, Department of Computer Science, RWTH Aachen, 52056, Germany
Steven Volkel , Software Engineering Group, Department of Computer Science, RWTH Aachen, 52056, Germany
Robert France , Department of Computer Science, Colorado State University, Fort Collins, USA
Geri Georg , Department of Computer Science, Colorado State University, Fort Collins, USA
Steffen Zschaler , Computing Department, Lancaster University, United Kingdom
pp. 453-454

2<sup>nd</sup> workshop on software development governance (SDG) (PDF)

Yael Dubinsky , IBM Haifa Research Lab, Mount Carmel, 31905, Israel
Philippe Kruchten , University of British Columbia, 2332 Main mall, Vancouver, Canada
pp. 455-456

Workshop on comparison and versioning of software models (CVSM 2009) (PDF)

Jurgen Ebert , University of Koblenz-Landau, Universitätsstr. 1, D-56070, Germany
Udo Kelter , University of Siegen, Hölderlinstr. 3, D-57068, Germany
Tarja Systa , Tampere University of Technology, P.O. Box 553, FI-33101, Finland
pp. 457-458

Expanding, theory, and practice: Report on the 4<sup>th</sup> International Workshop on the Automation of Software Test (PDF)

Dimitris Dranidis , CITY College, 13 Tsimiski St, 54624 Thessaloniki, Greece
Stephen P. Masticola , Siemens Corporate Research, 755 College Road East, Princeton, NJ 08540, USA
Paul Strooper , The University of Queensland, School of ITEE, St Lucia, Qld. 4072 Australia
pp. 459-460

Principles of engineering service oriented systems (PDF)

Elisabetta Di Nitto , Politecnico di Milano, Italy
Schahram Dustdar , Technical University Vienna, Austria
pp. 461-462

SEAMS 2009: Software engineering for adaptive and self-managing systems (PDF)

Betty H.C. Cheng , Michigan State Univ., USA
Rogerio de Lemos , University of Kent, UK
David Garlan , Carnegie Mellon Univ., USA
Holger Giese , Hasso Plattner Institute, Germany
Marin Litoiu , York University, Canada
Jeff Magee , Imperial College, UK
Hausi A. Muller , University of Victoria, Canada
Richard Taylor , University of California, Irvine, USA
pp. 463-464

Workshop on software Engineering in Health Care (SEHC) (PDF)

Leon J. Osterweil , University of Massachusetts Amherst, USA
Barbara Paech , University of Heidelberg, Germany
pp. 465

Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design (PDF)

Ruzanna Chitchyan , Lancaster University, Lancaster, United Kingdom
Monica Pinto , University of Mälaga, Spain
Safoora Shakil Khan , Lancaster University, Lancaster, United Kingdom
pp. 466-467

Second international workshop on emerging trends in Free/Libre/Open Source Software research and development - FLOSS09 (PDF)

Andrea Capiluppi , University of East London, United Kingdom
Gregorio Robles , Universidad Rey Juan Carlos, Madrid, Spain
pp. 468-469

International workshop on multicore software engineering (IWMSE 2009) (PDF)

Adam Porter , University of Maryland, College Park, 20742, USA
Victor Pankratius , University of Karlsruhe, 76131 Karlsruhe, Germany
Lawrence G. Votta , Brincos Inc., Sammamish, WA 98074, USA
pp. 470-471

5<sup>th</sup> international workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2009) (PDF)

Giulio Antoniol , École Polytechnique de Montréal, Québec, Canada
Rocco Oliveto , Department of Mathematics and Informatics, University of Salerno, Fisciano (SA), Italy
Denys Poshyvanyk , Computer Science Department, The College of William and Mary, Williamsburg, VA, USA
pp. 472-473

Leadership and management in software architecture (PDF)

Brian Berenbach , Siemens Corporate Research, Princeton, NJ, USA
Len Bass , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, USA
pp. 474-475

2<sup>nd</sup> international workshop on socio-technical congruence (STC 2009) (PDF)

Marcelo Cataldo , Research and Technology Center, Bosch Corporate Research, Pittsburgh, 15212, USA
Steve Easterbrook , Department of Computer Science, University of Toronto, Canada, E5S 2E4
Daniela Damian , Department of Computer Science, University of Victoria, BC, Canada
James Herbsleb , School of Computer Science, Carnegie Mellon University, Pittsburgh, 15213, USA
Premkumar Devanbu , Department of Computer Science, University of California, Davis, USA
Audris Mockus , Avaya Labs Research, Basking Ridge, NJ 07920, USA
pp. 476-477

The 5<sup>th</sup> international workshop on software engineering for secure systems (SESS'09) (PDF)

Bart De Win , Katholieke Universiteit Leuven, Celestijnenlaan 200A ¿ B-3001, Belgium
Seok-Won Lee , Dept. of Software and Information Systems, University of North Carolina at Charlotte, 9201 University City Blvd., 28223, USA
Mattia Monga , Dip. Informatica e Comunicazione, Universitä degli Studi di Milano, Via Comelico 39/41 ¿ I-20135, Italy
pp. 478-479

Wikis4SE'2009: Wikis for Software Engineering (PDF)

Ademar Aguiar , INESC Porto, FEUP/DEI, Universidade do Porto, Brazil
Uri Dekel , School of Computer Science, Carnegie Mellon University, USA
Paulo Merson , Software Engineering Institute, Carnegie Mellon University, USA
pp. 480-481

ICSE Cloud 09: First international workshop on software engineering challenges for Cloud Computing (PDF)

Kamal Bhattacharya , IBM Research, USA
Martin Bichler , TU München, Germany
Stefan Tai , Universität Karlsruhe (TH), Germany
pp. 482-483

SEEUP 2009: Workshop on software engineering foundations for end-user programming (PDF)

Len Bass , Carnegie Mellon University, Software Engineering Institute, USA
Grace Lewis , Carnegie Mellon University, Software Engineering Institute, USA
Dennis Smith , Carnegie Mellon University, Software Engineering Institute, USA
Brad Myers , Carnegie Mellon University, Human Computer Interaction Institute (HCII), USA
pp. 486

SCORE: The first student Contest in Software Engineering (PDF)

Mehdi Jazayeri , Universitä della Svizzera Italiana, Lugano, Switzerland
Dino Mandrioli , Politecnico di Milano, Italy
pp. 487-488

Author index (PDF)

pp. 489-490

A specification idiom for reactive systems (PDF)

Nigamanth Sridhar , Electrical and Computer Engineering, Cleveland State University, USA
Jason O. Hallstrom , School of Computing, Clemson University, USA
pp. 267-270

Deployment automation with BLITZ (PDF)

Brian Dougherty , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Jules White , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Jaiganesh Balasubramanian , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Chris Thompson , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Douglas C. Schmidt , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
pp. 271-274

Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration (PDF)

Sam Malek , Dept. of Computer Science, George Mason University, USA
Roshanak Roshandel , Dept. of Comp. Sci. & Software Engr., Seattle University, USA
David Kilgore , Dept. of Computer Science, George Mason University, USA
Ibrahim Elhag , Dept. of Computer Science, George Mason University, USA
pp. 275-278

Static ownership inference for reasoning against concurrency errors (PDF)

Ana Milanova , Department of Computer Science, Rensselaer Polytechnic Institute, USA
Yin Liu , Department of Computer Science, Rensselaer Polytechnic Institute, USA
pp. 279-282

Creating and evolving software by searching, selecting and synthesizing relevant source code (PDF)

Denys Poshyvanyk , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185, USA
Mark Grechanik , Accenture Technology Labs, Chicago, IL 60657, USA
pp. 283-286

How do system architectures affect software requirements? (PDF)

James A. Miller , Dept. of Computer Science, University of Western Ontario, London, Canada N6A 5B7
Remo Ferrari , Dept. of Computer Science, University of Western Ontario, London, Canada N6A 5B7
Nazim H. Madhavji , Dept. of Computer Science, University of Western Ontario, London, Canada N6A 5B7
pp. 287-290

SecondWATCH: A workspace awareness tool based on a 3-D virtual world (PDF)

En Ye , Ohio University, Athens, 45701, USA
Lev A. Neiman , Ohio University, Athens, 45701, USA
Hiep Q. Dinh , Ohio University, Athens, 45701, USA
Chang Liu , Ohio University, Athens, 45701, USA
pp. 291-294

Mining recurrent activities: Fourier analysis of change events (PDF)

Abram Hindle , University of Waterloo, Ontario, Canada
Michael W. Godfrey , University of Waterloo, Ontario, Canada
Richard C. Holt , University of Waterloo, Ontario, Canada
pp. 295-298

Automatic evaluation of API usability using complexity metrics and visualizations (PDF)

Cleidson R. B. de Souza , Faculdade de Computação ¿ Universidade Federal do Pará, Brazil
David L. M. Bentolila , Faculdade de Computação ¿ Universidade Federal do Pará, Brazil
pp. 299-302

The inference validity problem in legal discovery (PDF)

R. E. K. Stirewalt , Dept. of Computer Science and Engineering, Michigan State University, East Lansing, USA 48824
Laura K. Dillon , Dept. of Computer Science and Engineering, Michigan State University, East Lansing, USA 48824
Eileen T. Kraemer , Dept. of Computer Science, The University of Georgia, Athens, USA 30332
pp. 303-306

White-box approaches for improved testing and analysis of configurable software systems (PDF)

Marius Nita , Computer Science & Engineering, University of Washington, USA
David Notkin , Computer Science & Engineering, University of Washington, USA
pp. 307-310

Guided path exploration for regression test generation (PDF)

Kunal Taneja , Department of Computer Science, North Carolina State University, Raleigh, 27695, USA
Tao Xie , Department of Computer Science, North Carolina State University, Raleigh, 27695, USA
Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA
Jonathan de Halleux , Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA
Wolfram Schulte , Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA
pp. 311-314

From system specifications to component behavioral models (PDF)

Ivo Krka , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
George Edwards , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
Yuriy Brun , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
Nenad Medvidovic , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
pp. 315-318

High-level multicore programming with XJava (PDF)

Frank Otto , University of Karlsruhe, 76131, Germany
Victor Pankratius , University of Karlsruhe, 76131, Germany
Walter F. Tichy , University of Karlsruhe, 76131, Germany
pp. 319-322

Multi-dimensional service compositions (PDF)

L. Baresi , Politecnico di Milano, Dip. Elettronica e Informazione, I-20133, Italy
E. Di Nitto , Politecnico di Milano, Dip. Elettronica e Informazione, I-20133, Italy
S. Guinea , Politecnico di Milano, Dip. Elettronica e Informazione, I-20133, Italy
S. Dustdar , Vienna University of Technology, Distributed Systems Group, A-1040 Wien, Austria
pp. 323-326

Using formal concept analysis to construct and visualise hierarchies of socio-technical relations (PDF)

Michel Wermelinger , Department of Computing and Centre for Research in Computing, The Open University, UK
Yijun Yu , Department of Computing and Centre for Research in Computing, The Open University, UK
Markus Strohmaier , Knowledge Management Institute, Graz University of Technology, and Know-Center Graz, Austria
pp. 327-330

Toward deeply adaptive societies of digital systems (PDF)

Antonio Carzaniga , University of Lugano, Switzerland
Giovanni Denaro , University of Milano-Bicocca, Italy
Mauro Pezze , University of Lugano, Switzerland
Jacky Estublier , Lab. Log., Sys. et Reseaux, Grenoble, France
Alexander L. Wolf , Imperial College London, United Kingdom
pp. 331-334

The marketplace of user interface real estate (PDF)

Luigi Troiano , University of Sannio, Department of Engineering, RCOST Viale Traiano, 82100 - Benevento, Italy
Gerardo Canfora , University of Sannio, Department of Engineering, RCOST Viale Traiano, 82100 - Benevento, Italy
pp. 335-338

A framework for raising the level of abstraction of explicit parallelization (PDF)

Ritu Arora , Department of Computer and Information Sciences, University of Alabama at Birmingham, CH 131, 1300 University Blvd, Birmingham, 35294-1170, USA
Purushotham Bangalore , Department of Computer and Information Sciences, University of Alabama at Birmingham, CH 131, 1300 University Blvd, Birmingham, 35294-1170, USA
pp. 339-342

Towards a multi-level modeling language for testbed automation systems (PDF)

Thomas Aschauer , C. Doppler Laboratory Embedded Software Systems, University of Salzburg, Jakob-Haringer-Str. 2, 5020, Austria
pp. 343-346

Towards safety guarantees for service-oriented systems (PDF)

Basil Becker , System Analysis and Modeling Group, Hasso Plattner Institute at the University of Potsdam, Prof.-Dr.-Helmertstr. 2-3, D-14482, Germany
pp. 347-350

Using Bayesian statistical methods to determine the level of error in large spreadsheets. (PDF)

Leslie Bradley , Dundalk Institute of Technology, Ireland
Kevin McDaid , Dundalk Institute of Technology, Ireland
pp. 351-354

Improving conflict resolution in model versioning systems (PDF)

Petra Broschy , Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria
pp. 355-358

Towards a framework for supporting software modeling activities through novel interaction and visualization techniques (PDF)

Mathias Frisch , Computational Visualistics / Software Engineering Group, Otto-von-Guericke-University Magdeburg, Germany
Raimund Dachselt , Computational Visualistics / Software Engineering Group, Otto-von-Guericke-University Magdeburg, Germany
pp. 359-362

Early-stage software design for usability (PDF)

Elspeth Golden , Human-Computer Interaction Institute, Carnegie Mellon University, USA
pp. 363-366

On the evaluation and improvement of feature-based configuration techniques in software product lines (PDF)

A. Hubaux , PReCISE Research Centre, Faculty of Computer Science, University of Namur, Belgium
P. Heymans , PReCISE Research Centre, Faculty of Computer Science, University of Namur, Belgium
pp. 367-370

Configuration aware prioritization techniques in regression testing (PDF)

Xiao Qu , Department of Computer Science and Engineering, University of Nebraska - Lincoln, 68588-0115, USA
pp. 375-378

Automated scalable test-suite augmentation for evolving software (PDF)

Raul Santelices , College of Computing, Georgia Institute of Technology, USA
Mary Jean Harrold , College of Computing, Georgia Institute of Technology, USA
pp. 379-382

Towards the use of dynamic workflows for coordinating self-adaptation of software systems (PDF)

Carlos Eduardo da Silva , Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK
Rogerio de Lemos , Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK
pp. 383-386

Models and algorithms for business value-driven adaptation of business processes and software infrastructure (PDF)

Basem Suleiman , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
Vladimir Tosic , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
Ross Jeffery , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
Jenny Liu , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
pp. 387-390

Visual exploration of large-scale evolving software (PDF)

Richard Wettel , REVEAL@Faculty of Informatics, University of Lugano, Switzerland
pp. 391-394

Search-based testing of complex simulink models containing stateflow diagrams (PDF)

Andreas Windisch , Technische Universität Berlin, Daimler Center for Automotive IT Innovations - DCAITI, Germany
pp. 395-398

Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries (PDF)

Danny Dig , Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, USA
John Marrero , Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, USA
Michael D. Ernst , Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, USA
pp. 399-400

Exploiting the synergy between automated-test-generation and programming-by-contract (PDF)

Mike Barnett , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Manuel Fahndrich , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Peli de Halleux , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Francesco Logozzo , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
pp. 401-402

Deconstructing concurrency heisenbugs (PDF)

Thomas Ball , Microsoft Research, USA
Sebastian Burckhardt , Microsoft Research, USA
Jonathan de Halleux , Microsoft Research, USA
Madanlal Musuvathi , Microsoft Research, USA
Shaz Qadeer , Microsoft Research, USA
pp. 403-404

Tesseract: Interactive environment for exploration of project relationships (PDF)

Larry Maccherone , Institute for Software Research - Carnegie Mellon University, USA
Anita Sarma , Institute for Software Research - Carnegie Mellon University, USA
Patrick Wagstrom , Institute for Software Research - Carnegie Mellon University, USA
Jim Herbsleb , Institute for Software Research - Carnegie Mellon University, USA
pp. 405-406

DYVISE: Performance analysis of production systems research demonstration (PDF)

Steven P. Reiss , Department of Computer Science, Brown University, Providence, RI. 02912, USA
pp. 407-408

Verifying networked programs using a model checker extension (PDF)

Watcharin Leungwattanakit , University of Tokyo, Japan
Cyrille Artho , RCIS/AIST, Tokyo, Japan
Masami Hagiya , University of Tokyo, Japan
Yoshinori Tanabe , University of Tokyo, Japan
Mitsuharu Yamamoto , Chiba University, Japan
pp. 409-410

LuMiNous—model-driven assertion generation for runtime failure detection (PDF)

Mauro Pezze , University of Milano Bicocca, 20126, Milan, Italy
Jochen Wuttkez , University of Lugano, 6904, Switzerland
pp. 411-412

Software development governor: Automating governance in software development environments (PDF)

Avi Yaeli , IBM Haifa Research Lab, Mount Carmel, 31905, Israel
Alex Kofman , IBM Haifa Research Lab, Mount Carmel, 31905, Israel
Yael Dubinsky , IBM Haifa Research Lab, Mount Carmel, 31905, Israel
pp. 413-414

QMetric - a metric tool suite for the evaluation of software process data (PDF)

Holger Schackmann , Research Group Software Construction, RWTH Aachen University, Germany
Martin Jansen , Research Group Software Construction, RWTH Aachen University, Germany
Christoph Lischkowitz , Research Group Software Construction, RWTH Aachen University, Germany
Horst Lichter , Research Group Software Construction, RWTH Aachen University, Germany
pp. 415-416

InstantApps: A WYSIWYG model driven interpreter for web applications (PDF)

Gautam Shroff , Tata Consultancy Services R&D, 249 D&E Udyog Vihar, Gurgaon, Haryana 122016 India
Puneet Agarwal , Tata Consultancy Services R&D, 154B, Block A, Sector 63, Noida, UP 201301 India
Premkumar Devanbu , Dept. of Computer Science, UC Davis, CA 95616, USA
pp. 417-418

Footprinter: Round-trip engineering via scenario and state based models (PDF)

Ankit Goel , National Univ. of Singapore, Singapore
Bikram Sengupta , IBM Research, India
Abhik Roychoudhury , National Univ. of Singapore, Singapore
pp. 419-420

DaTeC: Contextual data flow testing of java classes (PDF)

Giovanni Denaro , University of Milano Bicocca, 20126, Milan, Italy
Alessandra Gorla , University of Lugano, CH-6904, Switzerland
Mauro Pezze , University of Milano Bicocca, 20126, Milan, Italy
pp. 421-422

Business insight toolkit: Flexible pre-requirements modeling (PDF)

Jacqueline de Vries , IBM T.J. Watson and Haifa Research Centers, Israel
Harold Ossher , IBM T.J. Watson and Haifa Research Centers, Israel
David Amid , IBM T.J. Watson and Haifa Research Centers, Israel
Ateret Anaby-Tavor , IBM T.J. Watson and Haifa Research Centers, Israel
Matthew Callery , IBM T.J. Watson and Haifa Research Centers, Israel
Michael Desmond , IBM T.J. Watson and Haifa Research Centers, Israel
Rachel Bellamy , IBM T.J. Watson and Haifa Research Centers, Israel
Amit Fisher , IBM T.J. Watson and Haifa Research Centers, Israel
Thomas Frauenhofer , IBM T.J. Watson and Haifa Research Centers, Israel
Sophia Krasikov , IBM T.J. Watson and Haifa Research Centers, Israel
Ian Simmonds , IBM T.J. Watson and Haifa Research Centers, Israel
Calvin Swart , IBM T.J. Watson and Haifa Research Centers, Israel
pp. 423-424

Semi-automated traceability maintenance: An architectural overview of traceMaintainer (PDF)

Patrick Mader , Department of Software Systems, Ilmenau Technical University, Germany
Orlena Gotel , Department of Computer Science, Pace University, New York, USA
Ilka Philippow , Department of Software Systems, Ilmenau Technical University, Germany
pp. 425-426

VCC: Contract-based modular verification of concurrent C (PDF)

Markus Dahlweid , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Michal Moskal , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Thomas Santen , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Stephan Tobies , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Wolfram Schulte , Microsoft Research, Redmond, WA, USA
pp. 429-430

Goal and scenario modeling, analysis, and transformation with jUCMNav (PDF)

Gunter Mussbacher , SITE, University of Ottawa, 800 King Edward, ON, K1N 6N5, Canada
Daniel Amyot , SITE, University of Ottawa, 800 King Edward, ON, K1N 6N5, Canada
pp. 431-432

Demonstration of a medical device integration and coordination framework (PDF)

Andrew King , Kansas State University, USA
Sam Procter , Kansas State University, USA
Dan Andresen , Kansas State University, USA
Steve Warren , Kansas State University, USA
William Spees , US Food & Drug Administration, USA
Raoul Jetley , US Food & Drug Administration, USA
Paul Jones , US Food & Drug Administration, USA
Sandy Weininger , US Food & Drug Administration, USA
pp. 433-434

RAIDE for engineering architecture-based self-adaptive systems (PDF)

Shang-Wen Cheng , Carnegie Mellon University, USA
David Garlan , Carnegie Mellon University, USA
Bradley Schmerl , Carnegie Mellon University, USA
pp. 435-436

ClemanX: Incremental clone detection tool for evolving software (PDF)

Tung Thanh Nguyen , Iowa State University, USA
Hoan Anh Nguyen , Iowa State University, USA
Nam H. Pham , Iowa State University, USA
Jafar M. Al-Kofahi , Iowa State University, USA
Tien N. Nguyen , Iowa State University, USA
pp. 437-438

A-SCORE: Automatic software component recommendation using coding context (PDF)

Ryuji Shimada , Graduate School of Information Science and Technology, Osaka University, Japan
Yasuhiro Hayase , Graduate School of Information Science and Technology, Osaka University, Japan
Makoto Ichii , Graduate School of Information Science and Technology, Osaka University, Japan
Makoto Matsushita , Graduate School of Information Science and Technology, Osaka University, Japan
Katsuro Inoue , Graduate School of Information Science and Technology, Osaka University, Japan
pp. 439-440

An experimental platform to characterize software comprehension activities supported by visualization (PDF)

Glauco de F. Carneiro , Federal University of Bahia (UFBA), Brazil
Manoel Mendonca , Federal University of Bahia (UFBA), Brazil
Rodrigo Magnavita , Salvador University (UNIFACS), Brazil
pp. 441-442
94 ms
(Ver 3.3 (11022016))