Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th APSEC 2011: Ho Chi Minh City, Vietnam
- Tran Dan Thu, Karl R. P. H. Leung:
18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-2199-1
Project Management and Software Engineering Education
- Akinori Saito, Takumi Kusanagi, Koichiro Ochimizu:
A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity Model. 1-8 - Frank Padberg, David Weiss:
Optimal Scheduling of Software Projects Using Reinforcement Learning. 9-16 - Jian Chen, Guoyong Qiu, Liu Yuan, Li Zhang, Gang Lu:
Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate Course. 17-24
Software Security and Safety
- Marc Frappier, Amel Mammar:
Proving Non-interference on Reachability Properties: A Refinement Approach. 25-32 - Zhenbo Xu, Jian Zhang, Zhongxing Xu:
Memory Leak Detection Based on Memory State Transition Graph. 33-40 - Caglar Ulucenk, Vijay Varadharajan
, Venkatesan Balakrishnan, Udaya Kiran Tupakula:
Techniques for Analysing PDF Malware. 41-48
Formal Methods
- Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala:
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. 49-56 - Atif Mashkoor, Jean-Pierre Jacquot:
Stepwise Validation of Formal Specifications. 57-64 - Amine Raji, Philippe Dhaussy:
Use Cases Modeling for Scalable Model-Checking. 65-72
Software Testing I
- Shaoying Liu, Shin Nakajima:
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. 73-80 - Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda:
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. 81-88 - Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan:
Intrusive Test Automation with Failed Test Case Clustering. 89-96 - Alberto Bastias, Sidharth Bihary, Suman Roy:
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. 97-105
Software Architecture I
- Eban Escott, Paul A. Strooper, Jörn Guy Süß, Paul King:
Architecture-Centric Model-Driven Web Engineering. 106-113 - Håkan Burden, Rogardt Heldal, Toni Siljamäki:
Executable and Translatable UML - How Difficult Can it Be? 114-121 - Zahra Zohrevand, Yusef Mehrdad Bibalan, Raman Ramsin:
Towards a Framework for the Application of Model-Driven Development in Situational Method Engineering. 122-129 - Xiao He, Zhiyi Ma, Yi Liu, Hongjie Chen, Weizhong Shao:
VisTML: A Visual Modeling Language for Model Transformation. 130-137
Maintenance and Evolution
- Kaiping Liu, Hee Beng Kuan Tan, Xu Chen:
Extraction of Attribute Dependency Graph from Database Applications. 138-145 - Ashish Sureka, Sangeeta Lal, Lucky Agarwal:
Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version Archives. 146-153 - Thi Thanh Huyen Phan, Koichiro Ochimizu:
Toward Inconsistency Awareness in Collaborative Software Development. 154-162 - Katsunori Oyama, Atsushi Takeuchi, Ming Hua, Carl K. Chang:
A Concept Lattice for Recognition of User Problems in Real User Monitoring. 163-170
Software Testing II
- Ali Shahrokni, Robert Feldt:
RobusTest: A Framework for Automated Testing of Software Robustness. 171-178 - Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang:
STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic. 179-186 - Eban Escott, Paul A. Strooper, Jim Steel, Paul King:
Integrating Model-Based Testing in Model-Driven Web Engineering. 187-194 - Björn Bartels, Sabine Glesner:
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. 195-202
Software Architecture II
- Shin Nakajima:
An Architecture of Dynamically Adaptive PHP-based Web Applications. 203-210 - Mikio Aoyama, Hayaki Tanabe:
A Design Methodology for Real-Time Distributed Software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive Software. 211-218 - Boutheina Bannour, Christophe Gaston, David Servat:
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. 219-226
Metrics and Measurement
- Zude Li, Jun Long:
A Case Study of Measuring Degeneration of Software Architectures from a Defect Perspective. 242-249 - Yang Yuan, Yao Guo:
CMCD: Count Matrix Based Code Clone Detection. 250-257
Verification and Validation
- Dajiang Suo, Jinxia An, Jihong Zhu:
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics. 266-273 - Jiang Chen, Toshiaki Aoki:
Conformance Testing for OSEK/VDX Operating System Using Model Checking. 274-281 - Thanh H. D. Nguyen, Bram Adams, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora:
Automated Verification of Load Tests Using Control Charts. 282-289 - Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol:
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. 290-297
Software Architecture III
- Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida:
A Design Map for Recording Precise Architecture Decisions. 298-305 - Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana:
Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns. 306-314 - Ural Erdemir, Umut Tekin, Feza Buzluca:
Object Oriented Software Clustering Based on Community Structure. 315-321 - Azadeh Alebrahim, Denis Hatebur, Maritta Heisel:
A Method to Derive Software Architectures from Quality Requirements. 322-330
Program Analysis
- Lee Wei Mar, Ye-Chi Wu, Hewijin Christine Jiau:
Recommending Proper API Code Examples for Documentation Purpose. 331-338 - Sirinut Thangthumachit, Shinpei Hayashi, Motoshi Saeki:
Understanding Source Code Differences by Separating Refactoring Effects. 339-347 - Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:
Using Variability Models to Reduce Verification Effort of Train Station Models. 348-356
Requirements Engineering
- Takako Nakatani, Toshihiko Tsumaki, Michio Tsuda, Mari Inoki, Shouzo Hori, Keiichi Katamine:
Requirements Maturation Analysis by Accessibility and Stability. 357-364 - Yu-Cheng Tu, Clark D. Thomborson, Ewan D. Tempero:
Illusions and Perceptions of Transparency in Software Engineering. 365-372 - Osamu Shigo, Kaoru Yokoyama:
A State Machine Analysis Support System Based on the Problem Frames. 373-380 - Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin:
Modeling Timing Requirements in Problem Frames Using CCSL. 381-388
Software Process and Quality
- Wenjin Wu, Wen Zhang, Ye Yang, Qing Wang:
DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise Ranking. 389-396 - Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe:
Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. 397-404 - Jim Buchan, Ling Li, Stephen G. MacDonell:
Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions. 405-413 - Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Rédouane Lbath, Hanh Nhi Tran, Mahmoud Nassar:
Towards a Tool-Supported Approach for Collaborative Process Modeling and Enactment. 414-421
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 2024-05-13 20:13 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:
