15. SEKE 2003:
San Francisco,
California,
USA
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003.
2003 BibTeX
Keynote 1
- Athula Ginige:
Re-engineering Software Development Process for eBusiness Application Development.
1-8 BibTeX
Session 1A:
Web Engineering
Session 1B:
Software Maintenance
Session 2A:
Software Measurements
Session 2B:
Agent Systems 1
Session 3A:
Software Visualization and Comprehension 1
Session 3B:
Formal Methods
Keynote 2
Session 3A:
Software Visualization and Comprehension 2
- Jeff Michaud, Margaret-Anne D. Storey:
The Role of Knowledge in Software Customization.
187-195 BibTeX
- Cleidson R. B. de Souza, Hamilton L. R. Oliveira, Cleber R. P. da Rocha, Kléder Miranda Gonçalves, David F. Redmiles:
Using Critiquing Systems for Inconsistency Detection in Software Engineering Models.
196-203 BibTeX
- Zhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao:
Partial Slicing for Large Programs.
204-207 BibTeX
- Matinee Kiewkanya, Nongyao Jindasawat, Nakornthip Prompoon, Pornsiri Muenchaisri:
Constructing Understandability Model from Design Metrics.
208-215 BibTeX
Session 4B:
Agent Systems 2
Session 5A:
Data Mining Approach to SE and KE
Session 5B:
Software and Knowledge Reuse
- Hongyu Zhang, Stan Jarzabek:
An XVCL-based Approach to Software Product Line Development.
267-275 BibTeX
- Joseph Neelamkavil, Michael Kernahan:
Extracting Knowledge from Technical Documents.
276-280 BibTeX
- Carlos Fernández-Conde, Pedro A. González-Calero:
Case-based Framework Instantiation.
281-288 BibTeX
- Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento:
Selection and Reuse of Software Design Patterns Using CBR and WordNet.
289-296 BibTeX
- Kareem S. Aggour, Marc Pavese:
ROADS: A Reusable, Optimizable Architecture for Decision Systems.
297-305 BibTeX
Session 6A:
UML
- Mark Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.:
Extending UML to Specify and Verify E-commerce Systems.
306-313 BibTeX
- Luigi Lavazza, Giuseppe Occorso:
Simulation-based Verification of UML models.
314-321 BibTeX
- S. L. Kendal, K. Ashton, X. Chen:
A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information Systems.
322-326 BibTeX
- Luigi Lavazza:
Rigorous Description of Software Requirements with UML.
327-334 BibTeX
- Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento:
Case-Based Reuse of UML Diagrams.
335-339 BibTeX
Session 6B:
Software Process and Architecture 1
Session 7A:
Knowledge Retrieval and Management
Session 7B:
Software Process and Architecture 2
Session 8A:
Knowledge Acquisition
Session 8B:
Integrity,
Security and Fault-Tolerance
- Huiqun Yu, Xudong He, Shu Gao, Yi Deng:
Formal Software Architecture Design of Secure Distributed Systems.
450-457 BibTeX
- Hui Ding, Can Zheng, Lui Sha, Gul Agha:
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.
458-466 BibTeX
- Dongfeng Wang, Farokh B. Bastani, I-Ling Yen:
Automated Software Design of Process-Control Systems.
467-474 BibTeX
- M. Todd Gamble, Rose F. Gamble, Leigh A. Davis:
Defining Change Management Properties for Component Interoperability Assessment.
475-482 BibTeX
- Ibrahim S. Abdullah, Edgar H. Sibley:
A Step toward building Dynamic Security Infrastructure.
483-488 BibTeX
Session 9A:
Distributed Software Development
- Seija Komi-Sirviö, Maarit Tihinen:
Great Challenges and Opportunities of Distributed Software Development - An Industrial Survey.
489-496 BibTeX
- Lerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato:
GENESIS: A Flexible and Distributed Environment for Cooperative Software Engineering.
497-502 BibTeX
- Andrea Trentini, Francesca Arcelli Fontana, Francesco Tisato:
A Distributed Document Management Approach for Workflow Support in the DBSA Architecture.
503-509 BibTeX
- Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith:
Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.
510-517 BibTeX
- Xiaoxing Ma, Jian Lu, Jiannong Cao, Alvin T. S. Chan, Kang Zhang:
A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture.
518-525 BibTeX
Session 9B:
Spatial Reasoning and Search
Session 10A:
Requirements Engineering
- K. Suzanne Barber, Jim Holt, Geoff Baker:
Early Multi-Level Software Architecture Performance Evaluations.
561-569 BibTeX
- George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman:
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach.
570-577 BibTeX
- Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio:
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
578-585 BibTeX
- An Ngo-The, Günther Ruhe:
Requirements Negotiation under Incompleteness and Uncertainty.
586-593 BibTeX
- Huaqing Li, Shaoyu Wang, Feihu Qi:
A Fast Binary Tree Based Face Recognition Algorithm.
594-598 BibTeX
Session 10B:
Software Testing and Software Education
Session 11A:
Data Mining for SE and KE 1
Session 11B:
Software Engineering and Decision Support 1
Session 12A:
Data Mining for SE and KE 2
Session 12B:
Software Engineering and Decision Support 2
Copyright © Sat May 16 23:37:26 2009
by Michael Ley (ley@uni-trier.de)
