| 2007 | "Robust and Flexible Software Inspection model" for Software Re-Engineering Process: Abstraction phase. Fida Hussain, Muhammad Saeed Shehzad |
| 2007 | 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan |
| 2007 | 1st International Workshop on Software Patterns and Quality (SPAQu'07). Hironori Washizaki, Nobukazu Yoshioka |
| 2007 | A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics. Richard Barker, Ewan D. Tempero |
| 2007 | A Method for Early Requirements Triage and Selection Utilizing Product Strategies. Mahvish Khurum, Khurum Aslam, Tony Gorschek |
| 2007 | A Methodological Framework for SysML: a Problem Frames-based Approach. Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini |
| 2007 | A Middleware-based Approach to Model Refactoring at Runtime. Ling Lan, Gang Huang, Weihu Wang, Hong Mei |
| 2007 | A Novel Approach of Prioritizing Use Case Scenarios. Debasish Kundu, Debasis Samanta |
| 2007 | A Process Pattern Language for Agile Methods. Xiang-xi Meng, Ya-Sha Wang, Lei Shi, Feng-Jian Wang |
| 2007 | A Six Sigma Framework for Software Process Improvements and its Implementation. Zhedan Pan, Hyuncheol Park, Jongmoon Baik, Ho-Jin Choi |
| 2007 | A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers. Jingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, Chunnian Liu |
| 2007 | A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa |
| 2007 | Accountability and Traceability in Global Software Engineering (ATGSE2007). Katsuro Inoue, Mike Barker |
| 2007 | Aligning the Map Requirements Modelling with the B-method for Formal Software Development. Abdul Babar, Vladimir Tosic, John Potter |
| 2007 | An Approach for Specifying Access Control Policy in J2EE Applications. Hieu Dinh Vo, Masato Suzuki |
| 2007 | An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics. Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae |
| 2007 | An Empirical Study of Class Sizes for Large Java Systems. Hongyu Zhang, Hee Beng Kuan Tan |
| 2007 | An Executable UML with OCL-based Action Semantics Language. Ke Jiang, Lei Zhang, Shigeru Miyake |
| 2007 | An Investigation into Concurrency Control Mechanisms in Data Service Layers. Krishneel Goundar, Santokh Singh, Xinfeng Ye |
| 2007 | Analysis of the Factors of Influencing Parent's Confidence on the Internet by Associating Rules Mining. Sheng-Fei Hsu, Hui-Ling Yu |
| 2007 | Analyzing the Service Level of Software Debugging System through Simulation-based Queuing Approach. Chu-Ti Lin, Chin-Yu Huang |
| 2007 | Applying a Code Clone Detection Method to Domain Analysis of Device Drivers. Yu-Seung Ma, Duk-Kyun Woo |
| 2007 | Approximation Algorithms for Software Component Selection Problem. Nima Haghpanah, Shahrouz Moaven, Jafar Habibi, Mehdi Kargar, Soheil Hassas Yeganeh |
| 2007 | Architectural Naming, a Secret of Agile Thinking. Zahra Karimi Dehkordi, Elahe Najafi |
| 2007 | Are Size Measures Better Than Expert Judgment? An Industrial Case Study on Requirements Volatility. Annabella Loconsole, Jürgen Börstler |
| 2007 | Aspect-Oriented Modeling for Embedded Software Design. Natsuko Noda, Tomoji Kishi |
| 2007 | Automatic Extraction and Verification of Page Transitions in aWeb Application. Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa |
| 2007 | Checking Distributed Programs with Partially Ordered Atoms. Hon Fung Li, Eslam Al Maghayreh |
| 2007 | Compositional Verification of UML Dynamic Models. Wei Dong, Ji Wang, Zhichang Qi, Ni Rong |
| 2007 | Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems. Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang |
| 2007 | Construction Method of a High-Order Markov Chain Usage Model. Tomohiko Takagi, Zengo Furukawa |
| 2007 | Coordination-Policy Based Composed System Behavior Derivation. Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen |
| 2007 | DFTL: a Description Language for Transformation of Data Formats. Meng Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang |
| 2007 | Definition of an Executable SPEM 2.0. Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais |
| 2007 | Deriving Product Line Requirements: the RED-PL Guidance Approach. Olfa Djebbi, Camille Salinesi, Daniel Diaz |
| 2007 | Deriving Software Process Simulation Model from SPEM-based Software Process Model. Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae |
| 2007 | Developing an Insulin Pump System Using the SOFL Method. Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou |
| 2007 | Disk Based Software Verification via Bounded Model Checking. Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna |
| 2007 | Distributed Collaborative Modeling Support System for UML diagrams. Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama |
| 2007 | E-AoSAS++ and its Software Development Environment. Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Masahide Banno |
| 2007 | Early Validation and Verification of a Distributed Role-Based Access Control Model. Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey |
| 2007 | Education Workshop: Bridging the University/Industry Gap. J. Barrie Thompson, Masami Noro, Helen M. Edwards |
| 2007 | Email and Trouble Report Analysis for Revealing Context with the Project Replayer. Kimiharu Okura, Shinji Kawaguchi, Noriko Hanakawa, Hajimu Iida |
| 2007 | Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software. Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani |
| 2007 | Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security Patterns. Kawin Supaporn, Nakornthip Prompoon, Thongchai Rojkangsadan |
| 2007 | Evaluating Product Line Architectures: Methods and Techniques. Muhammad Ali Babar |
| 2007 | Experiment-Driven Approach to Building Support for Distributed Agile Teams. Jacek Dajda, Grzegorz Dobrowolski |
| 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 | Field Escape Analysis for Data Confidentiality in Java Components. Aiwu Shi, Gleb Naumovich |
| 2007 | Figure Out the Current Software Requirements Engineering - What Practitioners Expect to Requirements Engineering? -. Mayumi Kamata-Itakura, Ai Yoshimoto Yoshida, Hisashi Yoshida, Nao Aoki |
| 2007 | Finding a Test Order using Object-Oriented Slicing Technique. Jutarat Jaroenpiboonkit, Taratip Suwannasart |
| 2007 | Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. Di Wu, Jie Chen, Flávio Oquendo |
| 2007 | Function Call Flow based Fitness Function Design in Evolutionary Testing. Xiyang Liu, Miao Zhang, Zhiwen Bai, Lei Wang, Wen Du, Yan Wang |
| 2007 | Identifying Key Requirements for a New Product Line. Juha Savolainen, Marjo Kauppinen, Tomi Männistö |
| 2007 | Improving Data Integrity with a Java Mutability Analysis. Aiwu Shi, Gleb Naumovich |
| 2007 | Improving Effort Estimation Accuracy by Weighted Grey Relational Analysis During Software Development. Chao-Jung Hsu, Chin-Yu Huang |
| 2007 | Incentive Compatible Mechanisms for Group Ticket Allocation in Software Maintenance Services. Karthik Subbian, Ramakrishnan Kannan, Raghav Kumar Gautam, Y. Narahari |
| 2007 | Injecting security as aspectable NFR into Software Architecture. Hamid Bagheri |
| 2007 | MEtaGile: An Agile Domain-Specific Modeling Environment. Olivier Buchwalder |
| 2007 | MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems. Yusen Li, Feng Wang, Gang Wang, Xiaoguang Liu, Jing Liu |
| 2007 | Methodology Support for the Model Driven Architecture. Fatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin |
| 2007 | Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett |
| 2007 | Non-Functional Requirements Elicitation and Incorporation into Functional Models. Xiaoyu Song |
| 2007 | Optimising Project Feature Weights for Analogy-Based Software Cost Estimation using the Mantel Correlation. Jacky Keung, Barbara A. Kitchenham |
| 2007 | PORD: a Reversible Debugging Tool using Dynamic Binary Translation. Xiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, Chunxiang Li |
| 2007 | Project Management Practices on Building Management Information System in IBM Global Business Service. Yi Wang, Huihui Shi |
| 2007 | Pseudo Software: a New Concept for Iterative Requirement Development and Validation. Jung-Sing Jwo, Yu Chin Cheng |
| 2007 | Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets. Reng Yin, Hao Hu, Jidong Ge, Jian Lu |
| 2007 | Realizability of Collaboration-based Service Specifications. Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann |
| 2007 | Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi |
| 2007 | Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell |
| 2007 | SPACE 2007 - 1st International Workshop on Software Productivity Analysis and Cost Estimation. Jacky Keung |
| 2007 | Secure Behavior of Web Browsers to Prevent Information Leakages. Takaaki Tateishi, Naoshi Tabuchi |
| 2007 | Simultaneous Modification Support based on Code Clone Analysis. Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsuro Inoue |
| 2007 | Specialising in Software Engineering. Michael Jackson |
| 2007 | Statechart-based Verification of Object-Oriented Design Models. Toshiaki Aoki, Takuya Katayama |
| 2007 | Static Call Graph Generator for C++ using Debugging Information. Yui Terashima, Katsuhiko Gondow |
| 2007 | Tailoring the Domain Engineering Process of the PLUS Method. Tsuneo Nakanishi, Mitsunori Fujita, Susumu Yamazaki, Naohito Yamashita, Shuichi Ashihara |
| 2007 | The First International Workshop on Management and Economics of Software Product Lines (MESPUL07). Muhammad Ali Babar, Makoto Nonaka |
| 2007 | The Problem Frames Approach to Software Engineering. Michael Jackson |
| 2007 | The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. Martin Ouimet, Kristina Lundqvist |
| 2007 | The Validation and Verification of WSCDL. Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He |
| 2007 | Time-Quality Metric Model for Quality Measurement of Web-Based Systems. Basem Suleiman, Eldar Aliev, Vladimir Tosic |
| 2007 | Toward Efficient Aspect Mining for Linux. Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen |
| 2007 | Towards Instant Automatic Model Refinement Based on OCL. Hui Song, Yanchun Sun, Li Zhou, Gang Huang |
| 2007 | UCSI Towards a User-Centric Service Integration Approach. Pengwei Tian, Yaoxue Zhang, Yuezhi Zhou, Ming Zhong, Cunhao Fang |
| 2007 | Use of Agile Methods and Practices in the Philippines. Raymund Sison, Theresa Yang |
| 2007 | Using B to Verify the Weaving of Aspects. Ninh-Thuan Truong, Viet Ha Nguyen |
| 2007 | Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage. Ahmed S. Ghiduk, Mary Jean Harrold, Moheb R. Girgis |
| 2007 | Validating Software Reliability by Binary Translation. Yi Wang |
| 2007 | Visualization for Software Evolution Based on Logical Coupling and Module Coupling. Noriko Hanakawa |
| 2007 | Workshop on Service Oriented Architecture. Toshiro Takase |
| 2007 | ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java. Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh |