| 2007 | An Investigation into Concurrency Control Mechanisms in Data Service Layers. | Krishneel Goundar, Santokh Singh, Xinfeng Ye |
| 2007 | Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage. | Ahmed S. Ghiduk, Mary Jean Harrold, Moheb R. Girgis |
| 2007 | Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. | Joo M. Fernandes, Jens Bk Jrgensen, Simon Tjell |
| 2007 | Compositional Verification of UML Dynamic Models. | Wei Dong, Ji Wang, Zhichang Qi, Ni Rong |
| 2007 | Deriving Product Line Requirements: the RED-PL Guidance Approach. | Olfa Djebbi, Camille Salinesi, Daniel Diaz |
| 2007 | Architectural Naming, a Secret of Agile Thinking. | Zahra Karimi Dehkordi, Elahe Najafi |
| 2007 | Experiment-Driven Approach to Building Support for Distributed Agile Teams. | Jacek Dajda, Grzegorz Dobrowolski |
| 2007 | A Methodological Framework for SysML: a Problem Frames-based Approach. | Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini |
| 2007 | Methodology Support for the Model Driven Architecture. | Fatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin |
| 2007 | ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java. | Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh |
| 2007 | Realizability of Collaboration-based Service Specifications. | Humberto Nicols Castejn Martnez, Rolv Brk, Gregor von Bochmann |
| 2007 | MEtaGile: An Agile Domain-Specific Modeling Environment. | Olivier Buchwalder |
| 2007 | Disk Based Software Verification via Bounded Model Checking. | Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna |
| 2007 | Definition of an Executable SPEM 2.0. | Reda Bendraou, Benot Combemale, Xavier Crgut, Marie-Pierre Gervais |
| 2007 | A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics. | Richard Barker, Ewan D. Tempero |
| 2007 | Injecting security as aspectable NFR into Software Architecture. | Hamid Bagheri |
| 2007 | Aligning the Map Requirements Modelling with the B-method for Formal Software Development. | Abdul Babar, Vladimir Tosic, John Potter |
| 2007 | The First International Workshop on Management and Economics of Software Product Lines (MESPUL07). | Muhammad Ali Babar, Makoto Nonaka |
| 2007 | Evaluating Product Line Architectures: Methods and Techniques. | Muhammad Ali Babar |
| 2007 | Extraction of Viewpoints for Eliciting Customer's Requirements based on Analysis of Specification Change Records. | Kouji Aoyama, Takanori Ugai, Shigeru Yamada, Akihiko Obata |
| 2007 | Statechart-based Verification of Object-Oriented Design Models. | Toshiaki Aoki, Takuya Katayama |
| 2006 | Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. | Ling Yuan, Jin Song Dong, Jing Sun |
| 2006 | Evaluation of Source Code Updates in Software Development Based on Component Rank. | Reishi Yokomori, Masami Noro, Katsuro Inoue |
| 2006 | A Coupling-based Complexity Metric for Remote Component-based Software Systems Toward Maintainability Estimation. | Hironori Washizaki, Tomoki Nakagawa, Yuhki Saito, Yoshiaki Fukazawa |
| 2006 | Secrobat: Secure and Robust Component-based Architectures. | Artem Vorobiev, Jun Han |