Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2023-03-31 23:51 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:
