The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 04 - April (vol. 40)
ISSN: 0098-5589

A Model-Driven Methodology for Developing Secure Data-Management Applications (Abstract)

David Basin , ETH Zürich, Zürich, Switzerland
Manuel Clavel , IMDEA Software, Campus de Montegancedo, s/n, Pozuelo de Alarcon, Madrid, Spain
Marina Egea , ATOS Research & Innovation, Madrid, Spain
Miguel A. Garcia de Dios , IMDEA Software, Campus de Montegancedo, s/n, Pozuelo de Alarcon, Madrid, Spain
Carolina Dania , IMDEA Software, Campus de Montegancedo, s/n, Pozuelo de Alarcon, Madrid, Spain
pp. 324-337

Analyzing Critical Decision-Based Processes (Abstract)

Christophe Damas , Department of Computing, Icteam Institute, Université Catholique de Louvain, Louvain-La-Neuve, Belgium
Bernard Lambeau , Department of Computing, Icteam Institute, Université Catholique de Louvain, Louvain-La-Neuve, Belgium
Axel van Lamsweerde , Department of Computing, Icteam Institute, Université Catholique de Louvain, Louvain-La-Neuve, Belgium
pp. 338-365

Automatic Summarization of Bug Reports (Abstract)

Sarah Rastkar , Department of Computer Science, University of British Columbia, 2366 Main Mall, Vancouver, Canada
Gail C. Murphy , Department of Computer Science, University of British Columbia, 2366 Main Mall, Vancouver, Canada
Gabriel Murray , Computer Information Systems Department, University of the Fraser Valley, 33844 King Road, Abbotsford, Canada
pp. 366-380

On the Asymptotic Behavior of Adaptive Testing Strategy for Software Reliability Assessment (Abstract)

Junpeng Lv , School of Automation Science and Electrical Engineering, Bejing, China
Bei-Bei Yin , School of Automation Science and Electrical Engineering, Bejing, China
Kai-Yuan Cai , School of Automation Science and Electrical Engineering, Bejing, China
pp. 396-412

Synthesizing Multithreaded Code from Real-Time Object-Oriented Models via Schedulability-Aware Thread Derivation (Abstract)

Saehwa Kim , Department of Information Communications Engineering, Hankuk University of Foreign Studies, Global Campus, San 89, Mohyun-myun, Cheoin-gu, Yongin-si, South Korea
pp. 413-426
98 ms
(Ver )