default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th APSEC 2007: Nagoya, Japan
- 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan. IEEE Computer Society 2007, ISBN 0-7695-3057-5
Keynote Speech
- Michael Jackson:
Specialising in Software Engineering. 3-10
Tutorials
- Muhammad Ali Babar:
Evaluating Product Line Architectures: Methods and Techniques. 13 - Michael Jackson:
The Problem Frames Approach to Software Engineering. 14
Requirements Engineering I
- Abdul Babar, Vladimir Tosic, John Potter:
Aligning the Map Requirements Modelling with the B-method for Formal Software Development. 17-24 - Kouji Aoyama, Takanori Ugai
, Shigeru Yamada, Akihiko Obata:
Extraction of Viewpoints for Eliciting Customer's Requirements based on Analysis of Specification Change Records. 33-40 - Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini:
A Methodological Framework for SysML: a Problem Frames-based Approach. 25-32
Testing and Analysis I
- Ahmed S. Ghiduk, Mary Jean Harrold, Moheb R. Girgis:
Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage. 41-48 - Jutarat Jaroenpiboonkit, Taratip Suwannasart:
Finding a Test Order using Object-Oriented Slicing Technique. 49-56 - Xiyang Liu, Miao Zhang, Zhiwen Bai, Lei Wang, Wen Du, Yan Wang:
Function Call Flow based Fitness Function Design in Evolutionary Testing. 57-64
Service-Oriented and Web-Based Software
- Takaaki Tateishi, Naoshi Tabuchi:
Secure Behavior of Web Browsers to Prevent Information Leakages. 65-72 - Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann:
Realizability of Collaboration-based Service Specifications. 73-80 - Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He:
The Validation and Verification of WSCDL. 81-88
Requirements Engineering II
- Mayumi Itakura Kamata, Ai Yoshimoto Yoshida, Hisashi Yoshida, Nao Aoki:
Figure Out the Current Software Requirements Engineering - What Practitioners Expect to Requirements Engineering? -. 89-96 - Mahvish Khurum, Khurum Aslam, Tony Gorschek:
A Method for Early Requirements Triage and Selection Utilizing Product Strategies. 97-104 - Jung-Sing Jwo, Yu Chin Cheng:
Pseudo Software: a New Concept for Iterative Requirement Development and Validation. 105-111 - Kawin Supaporn, Nakornthip Prompoon, Thongchai Rojkangsadan:
Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security Patterns. 112-119
Testing and Analysis II
- Tomohiko Takagi, Zengo Furukawa:
Construction Method of a High-Order Markov Chain Usage Model. 120-126 - Yui Terashima, Katsuhiko Gondow:
Static Call Graph Generator for C++ using Debugging Information. 127-134 - Aiwu Shi, Gleb Naumovich:
Improving Data Integrity with a Java Mutability Analysis. 135-142 - Aiwu Shi, Gleb Naumovich:
Field Escape Analysis for Data Confidentiality in Java Components. 143-150
Software Components and Reuse
- Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen:
Coordination-Policy Based Composed System Behavior Derivation. 151-158 - Nima Haghpanah, Shahrouz Moaven, Jafar Habibi, Mehdi Kargar, Soheil Hassas Yeganeh:
Approximation Algorithms for Software Component Selection Problem. 159-166 - Hui Song, Yanchun Sun, Li Zhou, Gang Huang:
Towards Instant Automatic Model Refinement Based on OCL. 167-174 - Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett:
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. 175-182
Aspect-Oriented Software
- Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang:
Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems. 183-190 - Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen:
Toward Efficient Aspect Mining for Linux. 191-198 - Ninh-Thuan Truong, Viet Ha Nguyen:
Using B to Verify the Weaving of Aspects. 199-205 - Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Masahide Banno:
E-AoSAS++ and its Software Development Environment. 206-213
Software Metrics and Measurement
- Noriko Hanakawa:
Visualization for Software Evolution Based on Logical Coupling and Module Coupling. 214-221 - Jacky Keung, Barbara A. Kitchenham:
Optimising Project Feature Weights for Analogy-Based Software Cost Estimation using the Mantel Correlation. 222-229 - Annabella Loconsole, Jürgen Börstler:
Are Size Measures Better Than Expert Judgment? An Industrial Case Study on Requirements Volatility. 238-245 - Hongyu Zhang, Hee Beng Kuan Tan:
An Empirical Study of Class Sizes for Large Java Systems. 230-237
Software Maintenance and Evolution
- Ling Lan, Gang Huang, Weihu Wang, Hong Mei:
A Middleware-based Approach to Model Refactoring at Runtime. 246-253 - Yu-Seung Ma, Duk-Kyun Woo:
Applying a Code Clone Detection Method to Domain Analysis of Device Drivers. 254-261 - Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsuro Inoue:
Simultaneous Modification Support based on Code Clone Analysis. 262-269 - Karthik Subbian, Ramakrishnan Kannan, Raghav Kumar Gautam, Y. Narahari:
Incentive Compatible Mechanisms for Group Ticket Allocation in Software Maintenance Services. 270-277
Formal Methods I
- Toshiaki Aoki, Takuya Katayama:
Statechart-based Verification of Object-Oriented Design Models. 278-285 - Wei Dong, Ji Wang, Zhichang Qi, Ni Rong:
Compositional Verification of UML Dynamic Models. 286-293 - João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell:
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. 294-301
Software Architecture and Design
- Ke Jiang, Lei Zhang, Shigeru Miyake:
An Executable UML with OCL-based Action Semantics Language. 302-309 - Hamid Bagheri:
Injecting security as aspectable NFR into Software Architecture. 310-317 - Krishneel Goundar, Santokh Singh, Xinfeng Ye:
An Investigation into Concurrency Control Mechanisms in Data Service Layers. 318-325
Embedded Systems
- Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani:
Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software. 326-333 - Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou:
Developing an Insulin Pump System Using the SOFL Method. 334-341 - Natsuko Noda, Tomoji Kishi:
Aspect-Oriented Modeling for Embedded Software Design. 342-349
Formal Methods II
- Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa:
Automatic Extraction and Verification of Page Transitions in aWeb Application. 350-357 - Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna:
Disk Based Software Verification via Bounded Model Checking. 358-365 - Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa:
A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. 366-373
Software Processes I
- Xiang-xi Meng, Ya-sha Wang, Lei Shi, Feng-Jian Wang:
A Process Pattern Language for Agile Methods. 374-381 - Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae:
Deriving Software Process Simulation Model from SPEM-based Software Process Model. 382-389 - Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais:
Definition of an Executable SPEM 2.0. 390-397
Empirical Software Engineering
- Jacek Dajda, Grzegorz Dobrowolski:
Experiment-Driven Approach to Building Support for Distributed Agile Teams. 398-405 - Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae:
An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics. 406-413 - Richard Barker, Ewan D. Tempero:
A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics. 414-421
Secure Software
- Hieu Dinh Vo, Masato Suzuki:
An Approach for Specifying Access Control Policy in J2EE Applications. 422-429 - Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey:
Early Validation and Verification of a Distributed Role-Based Access Control Model. 430-437 - Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi:
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. 438-445
Software Processes II
- Zhedan Pan, Hyuncheol Park, Jongmoon Baik, Ho-Jin Choi:
A Six Sigma Framework for Software Process Improvements and its Implementation. 446-453 - Fatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin:
Methodology Support for the Model Driven Architecture. 454-461 - Raymund Sison, Theresa Yang:
Use of Agile Methods and Practices in the Philippines. 462-469 - Jingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, Chunnian Liu:
A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers. 470-477
Software Product-Line
- Juha Savolainen, Marjo Kauppinen, Tomi Männistö:
Identifying Key Requirements for a New Product Line. 478-485 - Tsuneo Nakanishi, Mitsunori Fujita, Susumu Yamazaki, Naohito Yamashita, Shuichi Ashihara:
Tailoring the Domain Engineering Process of the PLUS Method. 486-493 - Olfa Djebbi, Camille Salinesi, Daniel Diaz:
Deriving Product Line Requirements: the RED-PL Guidance Approach. 494-501
Tools and Developement Environments
- Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh:
ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java. 502-509 - Yusen Li, Feng Wang, Gang Wang, Xiaoguang Liu, Jing Liu:
MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems. 510-517 - Hon Fung Li, Eslam Al Maghayreh:
Checking Distributed Programs with Partially Ordered Atoms. 518-525
Software Quality Management
- Reng Yin, Hao Hu, JiDong Ge, Jian Lu:
Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets. 526-533 - Chao-Jung Hsu, Chin-Yu Huang:
Improving Effort Estimation Accuracy by Weighted Grey Relational Analysis During Software Development. 534-541 - Debasish Kundu, Debasis Samanta:
A Novel Approach of Prioritizing Use Case Scenarios. 542-549
Workshops
- Katsuro Inoue, Mike Barker:
Accountability and Traceability in Global Software Engineering (ATGSE2007). 553-554 - Muhammad Ali Babar, Makoto Nonaka:
The First International Workshop on Management and Economics of Software Product Lines (MESPUL07). 555-556 - Hironori Washizaki, Nobukazu Yoshioka:
1st International Workshop on Software Patterns and Quality (SPAQu'07). 557-558 - Toshiro Takase:
Workshop on Service Oriented Architecture. 559 - J. Barrie Thompson, Masami Noro, Helen M. Edwards:
Education Workshop: Bridging the University/Industry Gap. 560-561 - Jacky Keung:
SPACE 2007 - 1st International Workshop on Software Productivity Analysis and Cost Estimation. 562
Research Posters
- Fida Hussain, Muhammad Saeed Shehzad:
"Robust and Flexible Software Inspection model" for Software Re-Engineering Process: Abstraction phase. 565 - Zahra Karimi Dehkordi, Elahe Najafi:
Architectural Naming, a Secret of Agile Thinking. 565 - Basem Suleiman, Eldar Aliev, Vladimir Tosic:
Time-Quality Metric Model for Quality Measurement of Web-Based Systems. 566 - Chu-Ti Lin, Chin-Yu Huang:
Analyzing the Service Level of Software Debugging System through Simulation-based Queuing Approach. 566 - Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama:
Distributed Collaborative Modeling Support System for UML diagrams. 567 - Martin Ouimet, Kristina Lundqvist:
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. 567 - Pengwei Tian, Yaoxue Zhang, Yuezhi Zhou, Ming Zhong, Cunhao Fang:
UCSI Towards a User-Centric Service Integration Approach. 568 - Di Wu, Jie Chen, Flávio Oquendo:
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. 568 - Meng Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang:
DFTL: a Description Language for Transformation of Data Formats. 569 - Kimiharu Okura, Shinji Kawaguchi, Noriko Hanakawa, Hajimu Iida:
Email and Trouble Report Analysis for Revealing Context with the Project Replayer. 569 - Xiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, Chunxiang Li:
PORD: a Reversible Debugging Tool using Dynamic Binary Translation. 570 - Xiaoyu Song:
Non-Functional Requirements Elicitation and Incorporation into Functional Models. 570 - Yi Wang:
Validating Software Reliability by Binary Translation. 570 - Yi Wang, Huihui Shi:
Project Management Practices on Building Management Information System in IBM Global Business Service. 571 - Olivier Buchwalder:
MEtaGile: An Agile Domain-Specific Modeling Environment. 571 - Sheng-Fei Hsu, Hui-Ling Yu:
Analysis of the Factors of Influencing Parent's Confidence on the Internet by Associating Rules Mining. 572
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-09 19:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
