![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
19th APSEC 2012: Hong Kong, China
- Karl R. P. H. Leung, Pornsiri Muenchaisri:
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. IEEE 2012, ISBN 978-0-7695-4922-4
Formal Methods I
- Mark Anderson, Paul Montague, Benjamin Long:
A Context-Based Integrity Framework. 1-9 - Haiying Sun, Jing Liu, Dehui Du:
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. 10-19 - Longming Dong, Ji Wang, Liqian Chen:
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. 20-29 - Suman Roy
, Sidharth Bihary, Jose Alfonso Corso Laos:
A CSP-theoretic Framework of Checking Conformance of Business Processes. 30-39
Context-aware and Intelligent Systems
- Jari Pääkkö, Mikko Raatikainen
, Varvana Myllärniemi, Tomi Männistö
:
Applying Recommendation Systems for Composing Dynamic Services for Mobile Devices. 40-51 - Ziyou Wang, Minghui Zhou, Hong Mei:
Towards an Adaptive Service Degradation Approach for Handling Server Overload. 52-60
Software Security, Relability and Privacy
- Rui Song, Bixin Li, Xiaona Wu, Cuicui Liu, ShanShan Qi:
A Preference and Honesty Aware Trust Model for Web Services. 61-66 - Xiaona Wu, Bixin Li, Rui Song, Cuicui Liu, ShanShan Qi:
Trust-Based Service Composition and Optimization. 67-72 - ShanShan Qi, Bixin Li, Cuicui Liu, Xiaona Wu, Rui Song:
A Trust Impact Analysis Model for Composite Service Evolution. 73-78 - Minh H. Tran, Alan W. Colman
, Jun Han, Hongyu Zhang
:
Modeling and Verification of Context-Aware Systems. 79-84 - Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières:
The Case for Using Simulation to Validate Event-B Specifications. 85-90 - Kaiping Liu, Hee Beng Kuan Tan, Lwin Khin Shar
:
Semi-Automated Verification of Defense against SQL Injection in Web Applications. 91-96
Requirements Engineering I
- Jonathan Lee, Kuo-Hsun Hsu, Shin-Jie Lee, Wen-Tin Lee:
Discovering Early Aspects through Goals Interactions. 97-106 - Mo Li, Shaoying Liu:
Automated Functional Scenarios-Based Formal Specification Animation. 107-115 - Rong Peng, Han Lai:
DRE-specific Wikis for Distributed Requirements Engineering: A Review. 116-126 - Ziyan Xu, Haihong Zhao, Sheau Ling Tan, Lin Liu:
Service-Driven Migrating of Enterprise Information Systems: A Case Study. 127-136
Product-Line Software Engineering
- Gerald Holl, Paul Grünbacher
, Christoph Elsner, Thomas Klambauer:
Supporting Awareness during Collaborative and Distributed Configuration of Multi Product Lines. 137-147 - Emmanuelle Rouillé, Benoît Combemale, Olivier Barais
, David Touzet, Jean-Marc Jézéquel:
Leveraging CVL to Manage Variability in Software Process Lines. 148-157 - Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel:
Relationships Formalization for Model-Based Product Lines. 158-163
Software Verification and Validation
- Johannes Schönböck
, Gerti Kappel, Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger:
Debugging Model-to-Model Transformations. 164-173 - Masahiro Sakai
, Kohei Maruchi, Takeo Imai:
Model-Checking C Programs against JML-like Specification Language. 174-183 - Linghao Zhang, Chang Xu, Xiaoxing Ma
, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu:
Resynchronizing Model-Based Self-Adaptive Systems with Environments. 184-193 - Adriaan Schmidt, Oliver Horst:
Software-Based Online Monitoring of Cache Contents on Platforms without Coherence Fabric. 194-202
Software Enginering Environments and Tools
- Frank Padberg, Michael Mirold:
An Experimentation Platform for the Automatic Parallelization of R Programs. 203-212 - Lili Mou, Ge Li, Zhi Jin, Yangyang Lu, Yiyang Hao:
Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching. 213-222 - Xiaowei Zhou, Wenbo Zhang, Jianhua Zhang:
Semi-static Detection of Runtime Type Errors in Component-Based Java Programs. 223-231 - Filippo Gioachin, Qianhui Liang, Yuxia Yao, Bu-Sung Lee
:
Protego: In-Memory Version Control System in the Cloud. 232-239
Software Maintenance and Evolution I
- Cheng-Zen Yang
, Chun-Chi Hou, Wei-Chen Kao, Ing-Xiang Chen:
An Empirical Study on Improving Severity Prediction of Defect Reports Using Feature Selection. 240-249 - Hongji Yang, Shang Zheng, William Cheng-Chung Chu, Ching-Tsorng Tsai:
Linking Functions and Quality Attributes for Software Evolution. 250-259 - Girish Maskeri Rama, Deepthi Karnam, Sree Aurovindh Viswanathan, Srinivas Padmanabhuni:
Bug Prediction Metrics Based Decision Support for Preventive Software Maintenance. 260-269
Software Project Management and Applications
- Saurabh Tiwari
, Santosh Singh Rathore
, Abhijeet Singh, Abhinav Singh, Atul Gupta
:
An Approach to Generate Actor-Oriented Activity Charts from Use Case Requirements. 270-275 - Natalja Nikitina, Mira Kajko-Mattsson:
Process Model of Software Method Transition. 276-281 - Benoît Combemale, Xavier Crégut, Marc Pantel:
A Design Pattern to Build Executable DSMLs and Associated V&V Tools. 282-287 - Yiwei Zhang, Eric Lo
, Ben Kao:
Evaluation Metric for Multiple-Bug Localization with Simple and Complex Predicates. 288-293 - Chaman Wijesiriwardana, Giacomo Ghezzi, Emanuel Giger, Atsushi Sawada, Harald C. Gall
:
Dependency Based Approach for Software Analysis Web Services Replacement. 294-299 - Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
:
Testing of Component-Based Systems. 300-305
Code Analysis and Testing
- Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh:
Precise Analysis of Large Industry Code. 306-309 - Norihiro Yoshida, Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue:
An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection Techniques. 310-313 - Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba:
Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. 314-317 - Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara:
Test Case Selection Based on Path Condtions of Symbolic Execution. 318-321
Requirement Modelling and Analysis
- Weam M. Farid:
The NORMAP Methodology: Lightweight Engineering of Non-functional Requirements for Agile Processes. 322-325 - Naveen N. Kulkarni, Deepti Parachuri, Madhuri Dasa, Abhishek Kumar
:
Automated Analysis of Textual Use-Cases: Does NLP Components and Pipelines Matter? 326-329 - Shinobu Saito, Takashi Hoshino, Mutsuki Takeuchi, Masatoshi Hiraoka, Tsuyoshi Kitani, Mikio Aoyama:
Empirical Analysis of the Impact of Requirements Traceability Quality to the Productivity of Enterprise Applications Development. 330-333
Novel Techniques
- Kiyoshi Nishikawa, Kenji Oki, Akihiko Matsuo:
SaaS Application Framework Using Information Gateway Enabling Cloud Service with Data Confidentiality. 334-337 - Mehrdad Saadatmand
, Mikael Sjödin:
Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems. 338-341 - Shinpei Soda, Masahide Nakamura
, Shinsuke Matsumoto, Shintaro Izumi, Hiroshi Kawaguchi
, Masahiko Yoshimoto:
Implementing Virtual Agent as an Interface for Smart Home Voice Control. 342-345 - Tak Wah Kwan, Bryan Cheung:
Determining and Selecting the Optimal Sets of Risk Treatments under Project Constraints. 346-349
Emprical Software Engineering I
- Santosh Singh Rathore
, Atul Gupta
:
Validating the Effectiveness of Object-Oriented Metrics over Multiple Releases for Predicting Fault Proneness. 350-355 - Najeeb Ullah
, Maurizio Morisio:
An Empirical Study of Reliability Growth of Open versus Closed Source Software through Software Reliability Growth Models. 356-361 - Hirohisa Aman:
An Empirical Analysis of the Impact of Comment Statements on Fault-Proneness of Small-Size Module. 362-367 - Ferdian Thung, David Lo
, Lingxiao Jiang
:
Diffusion of Software Features: An Exploratory Study. 368-373 - Masateru Tsunoda, Akito Monden
, Jacky Wai Keung
, Ken-ichi Matsumoto:
Incorporating Expert Judgment into Regression Models of Software Effort Estimation. 374-379 - Fan Yang-Turner
, Lydia Lau, Vania Dimitrova:
A Model-Driven Prototype Evaluation to Elicit Requirements for a Sensemaking Support Tool. 380-385
Emprical Software Engineering II
- Diana Kirk, Ewan D. Tempero:
Software Development Practices in New Zealand. 386-395 - Lijie Wang, Yanzhen Zou, Lu Fang, Bing Xie, Fuqing Yang:
An Exploratory Study of API Usage Examples on the Web. 396-405 - Syed Muhammad Ali Shah, Maurizio Morisio, Marco Torchiano
:
An Overview of Software Defect Density: A Scoping Study. 406-415
Requirements Engineering II
- Mahvish Khurum, Niroopa Uppalapati, Ramya Chowdary Veeramachaneni:
Software Requirements Triage and Selection: State-of-the-Art and State-of-Practice. 416-421 - Luxi Chen, Linpeng Huang, Chen Li
, Weichao Luo:
Software Architecture Matching by Meta-model Extension and Refinement. 422-427 - Vladimir Estivill-Castro
, René Hexel
, David A. Rosenblueth:
Efficient Modelling of Embedded Software Systems and their Formal Verification. 428-433 - Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata
, Kenji Kaijiri, Shinpei Hayashi
, Motoshi Saeki:
Model Transformation Patterns for Introducing Suitable Information Systems. 434-439 - Chun Liu, Wei Zhang, Haiyan Zhao, Zhi Jin:
A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems. 440-445 - Abdul Babar
, Bernard Wong:
Capturing Strategic Business Requirements: An Exploratory Study. 446-451
Software Systems and Management
- Peng Zhou, Hareton K. N. Leung
:
An Integrated Risk Analysis Method Using Spatial Interpolation. 452-461 - Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
:
Who is Accountable for Asynchronous Exceptions? 462-471 - Sunuk Park, Dae-Kyoo Kim, Sooyong Park:
Pattern-Based Model Transformation Using QVT. 472-481
Formal Methods II
- Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel:
Behavioural Analysis for Distributed Simulations. 482-487 - Bo Sun, Xiaohong Zhang, Hao Wu:
Extending Linden Scripting Language on OpenSim. 488-492 - Xiang Ling, Tom Maibaum:
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. 493-498 - Chen-Wei Wang:
Calculating Preconditions for Parallel Workflows. 499-504 - Chen-Wei Wang:
A Formal Approach for the Iterative Design of Behavioural Models. 505-510 - Min Zhang
, Kazuhiro Ogata:
Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules. 511-516
Software Maintenance and Evolution II
- Sangeeta Lal, Ashish Sureka
:
Comparison of Seven Bug Report Types: A Case-Study of Google Chrome Browser Project. 517-526 - Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma
, Linghao Zhang, Jian Lu:
Javelus: A Low Disruptive Approach to Dynamic Software Updates. 527-536 - Hadaytullah, Allan Gregersen, Kai Koskimies:
Pattern-Based Dynamic Maintenance of Software Systems. 537-546
Software Analysis, Understanding and Quality Measurement
- Kunming Nie, Li Zhang:
Software Feature Location Based on Topic Models. 547-552 - Dang Viet Dzung, Atsushi Ohnishi:
A Verification Method of Elicited Software Requirements Using Requirements Ontology. 553-558 - Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland:
Permission Assurance for Semantic Aspects of Design Patterns. 559-564 - Pei-Chi Chen, Ching-Chin Chern, Chung-Yang Chen
:
Software Project Team Characteristics and Team Performance: Team Motivation as a Moderator. 565-570 - Huihong He, Zhiyi Ma, Xiang Li, Hongjie Chen, Weizhong Shao:
An Approach to Estimating Cost of Running Cloud Applications Based on AWS. 571-576 - Klaus Lochmann, Daniel Méndez Fernández
, Stefan Wagner
:
A Case Study on Specifying Quality Requirements Using a Quality Model. 577-582
Software Architecture and Design
- Nazri Kama
, Faizul Azli:
A Change Impact Analysis Approach for the Software Development Phase. 583-592 - Shaukat Ali
, Tao Yue:
Studying the Understandability of Aspect State Machines through the Weaving Activity. 593-602 - Weiqing Zhang, Vincent Leilde, Birger Møller-Pedersen, Joël Champeau, Christophe Guychard:
Towards Tool Integration through Artifacts and Roles. 603-613
Formal Methods III
- Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata
, Kenji Taguchi
, Hitoshi Ohsaki, Akira Fukuda:
On Accelerating SMT-based Bounded Model Checking of HSTM Designs. 614-623 - Yan Zhang, Tian Zhang:
Hybrid Interface Automata. 624-633 - Juliana Bowles
, Dulani Apeksha Meedeniya
:
Parametric Transformations for Flexible Analysis. 634-643 - Jiexin Zhang, Yang Liu
, Mikhail Auguston, Jun Sun
, Jin Song Dong:
Using Monterey Phoenix to Formalize and Verify System Architectures. 644-653
Formal Methods IV
- Fauziah binti Zainuddin, Shaoying Liu:
An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. 654-663 - Min Zhang
, Kazuhiro Ogata, Kokichi Futatsugi:
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. 664-673 - Teng Long, Wenhui Zhang:
Proving Liveness Property under Fairness Requirements. 674-682 - Xiaoquan Wu, Jun Wei, Xu Wang:
Debug Concurrent Programs with Visualization and Inference of Event Structure. 683-692
Emerging Ideas I
- Shin Nakajima:
Importance Sampling of Runtime Interference. 693-696 - Ana Dragomir, Horst Lichter
:
Model-Based Software Architecture Evolution and Evaluation. 697-700 - Xi Liu, Jianwen Su, Xuandong Li:
Proactive Enforcement of Data Consistency by Business Processes. 701-704 - Hyun Cho, Jeff Gray
, Eugene Syriani
:
Syntax Map: A Modeling Language for Capturing Requirements of Graphical DSML. 705-708 - Xin Yang, Raula Gaikovina Kula
, Ana Erika Camargo Cruz, Norihiro Yoshida, Kazuki Hamasaki, Kenji Fujiwara, Hajimu Iida:
Understanding OSS Peer Review Roles in Peer Review Social Network (PeRSoN). 709-712 - Izuru Kume, Masahide Nakamura
, Etsuya Shibayama:
Toward Comprehension of Side Effects in Framework Applications as Feature Interactions. 713-716
Emerging Ideas II
- Bharath Cheluvaraju, Kartikay Nagal, Anjaneyulu Pasala
:
Mining Software Revision History Using Advanced Social Network Analysis. 717-720 - Mikhail Chalabine:
Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning. 721-724 - Chaman Wijesiriwardana, Giacomo Ghezzi, Harald C. Gall
:
A Guided Mashup Framework for Rapid Software Analysis Service Composition. 725-728 - Cheng Gong, Zheng Zheng, Yunqian Zhang, Zhenyu Zhang, Yunzhi Xue:
Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault Programs. 729-732 - Uaychai Chotjaratwanich, Chonlameth Arpnikanondt
:
A Visualization Technique for Metrics-Based Hierarchical Quality Models. 733-736
Software Process, Quality and Education
- Peng Zhou, Hareton K. N. Leung
:
A Stochastic Simulation Model for Risk Management Process. 737-742 - Simona Jeners, Horst Lichter
, Elena Pyatkova:
Automated Comparison of Process Improvement Reference Models Based on Similarity Metrics. 743-748 - Jonathan Lee, Alan Liu
, Yu Chin Cheng, Shang-Pin Ma
, Shin-Jie Lee:
Execution Plan for Software Engineering Education in Taiwan. 749-753 - Abdehamid Abdelhadi Mansor, Wan M. N. Wan-Kadir
, Toni Anwar
, Shamsul Sahibuddin:
Analysis of Adaptive Policy-Based Approach to Avoid Policy Conflicts. 754-759 - Balwinder Sodhi, T. V. Prabhakar:
Assessing Platform Suitability for Achieving Quality in Guest Applications. 760-765 - Xiaorui Zhang, Øystein Haugen, Birger Møller-Pedersen:
Augmenting Product Lines. 766-771
Software Quality Assurance and Component-Based Systems
- Shimul Kumar Nath, Robert G. Merkel, Man Fai Lau, Tanay Kanti Paul:
Towards a Better Understanding of Testing if Conditionals. 772-777 - Changhai Nie, Huayao Wu, Yalan Liang, Hareton Leung
, Fei-Ching Kuo, Zheng Li
:
Search Based Combinatorial Testing. 778-783 - Rogardt Heldal, Daniel Arvidsson, Fredrik Persson:
Modeling Executable Test Actors: Exploratory Study Done in Executable and Translatable UML. 784-789 - Chen Li
, Linpeng Huang, Luxi Chen, Weichao Luo, Xu Li:
PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems. 790-795 - Shang-Pin Ma
, Jonathan Lee:
A Graph-Based Approach to Web Service Matchmaking. 796-801 - Wei Ye, Ruici Luo, Shikun Zhang, Xueyang Liu, Wenhui Hu:
BuOA: An Achitecture Style for Modular Web Applications. 802-807
Emprical Software Engineering III
- Hao Zhong
, Ye Yang, Jacky W. Keung
:
Assessing the Representativeness of Open Source Projects in Empirical Software Engineering Studies. 808-817 - Chris Lokan, Emilia Mendes:
Investigating the Use of Duration-Based Moving Windows to Improve Software Effort Prediction. 818-827 - Claes Wohlin
, Darja Smite:
Classification of Software Transfers. 828-837 - Akito Monden
, Jacky Wai Keung
, Shuji Morisaki, Yasutaka Kamei, Ken-ichi Matsumoto:
A Heuristic Rule Reduction Approach to Software Fault-proneness Prediction. 838-847
Web-Based Software Engineering
- Kaiping Liu, Hee Beng Kuan Tan:
Automated Insertion of Exception Handling for Key and Referential Constraints. 848-856 - Cuicui Liu, Bixin Li, ShanShan Qi, Xiaona Wu, Rui Song:
Data Depedency Based Trust Evaluation for BPEL Processes. 857-866 - Navid Ahmadi, Mehdi Jazayeri, Alexander Repenning
:
Engineering an Open-Web Educational Game Design Environment. 867-876 - Yonghong Chen, Xiwei Xu, Liming Zhu
:
Web Platform API Design Principles and Service Contract. 877-886
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.