13. APSEC 2006:
Bangalore,
India
13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India.
IEEE Computer Society 2006, ISBN 0-7695-2685-3
Component Based Software Engineering
- Artem Vorobiev, Jun Han:
Secrobat: Secure and Robust Component-based Architectures.
3-10
- Yuji Sakata, Kazutoshi Yokoyama, Hironori Washizaki, Yoshiaki Fukazawa:
A precise estimation technique for test coverage of components in object-oriented frameworks.
11-18
- Anjaneyulu Pasala, Srinivasa Rao, Srinivas Gunturu, Purnendu Sinha:
An Approach Based on Modeling Dynamic Behavior of the System to Assess the Impact of COTS Upgrades.
19-26
- Christine Choppy, Denis Hatebur, Maritta Heisel:
Component composition through architectural patterns for problem frames.
27-36
- Naresh Kumar Agarwal, Danny C. C. Poo, Teo Keng Yong:
Component-based Development of MILLS: A Case Study in the development of an Inter-library Loan Software System.
37-44
- Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumoto, Mikio Aoyama:
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems.
45-52
- Santokh Singh, Cheung Ling Kelly Yu:
Efficient Component Based Software Engineering using the TCEM Methodology and the TCET Tool.
53-60
- Vinicius Cardoso Garcia, Eduardo Santana de Almeida, Liana Barachisio Lisboa, Alexandre Costa Martins, Silvio Romero de Lemos Meira, Daniel Lucrédio, Renata Pontin de Mattos Fortes:
Toward a Code Search Engine Based on the State-of-Art and Practice.
61-70
- Jun Han, Khaled M. Khan:
Security-Oriented Service Composition and Evolution.
71-78
- Hironori Washizaki, Tomoki Nakagawa, Yuhki Saito, Yoshiaki Fukazawa:
A Coupling-based Complexity Metric for Remote Component-based Software Systems Toward Maintainability Estimation.
79-86
- Nabil Hameurlain:
A Formal Framework for Component Pr otocols Behavioural Compatibility.
87-94
- Chen-Liang Fang, Deron Liang, Fengyi Lin, Chien-Cheng Lin, William Cheng-Chung Chu:
A Portable Interceptor Mechanism on SOAP for Continuous Audit.
95-104
Requirements Engineering
Service Oriented Architecture
Software Architecture
Formal Methods
- David Hemer:
A systematic approach to connecting standalone theorem provers to formal development environments.
183-190
- Osamu Shigo, Atsushi Okawa, Daiki Kato:
Constructing Behavioral State Machine using Interface Protocol Specification.
191-198
- Dipankar Das, Rajeev Kumar, P. P. Chakrabarti:
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications.
199-208
Object-Oriented Technology
Testing & Program Checking
Testing & Quality Management
Maintenance / Reverse Engineering
Empirical Software Engineering
Empirical Software Engineering
Software Process Improvement
Product Line Engg./OO
Maintenance/Knowledge-Based Approach
SE Education
Last update Tue Feb 14 03:48:49 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page