17. SEKE 2005:
Taipei,
Taiwan,
Republic of China
William C. Chu, Natalia Juristo Juzgado, W. Eric Wong (Eds.):
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005.
2005, ISBN 1-891706-16-0 BibTeX
Keynote Papers
Session A4:
Chronobot for Time and Knowledge Management
Session B4:
Agent-Oriented Software Development Methodology
- Claudia P. Ayala, Carlos Cares, Juan Pablo Carvallo, Gemma Grau, Mariela Haya, Guadalupe Salazar, Xavier Franch, Enric Mayol, Carme Quer:
A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages.
43-50 BibTeX
- Ghassan Beydoun, Cesar Gonzalez-Perez, Graham Low, Brian Henderson-Sellers:
Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel.
51-56 BibTeX
- Zhenyan Ji, Malmberg Ake:
Spontaneous Agent Networking.
57-61 BibTeX
- Liang Xiao, Des Greer:
The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules.
62-67 BibTeX
- Richard Tynan, Antonio G. Ruzzelli, Gregory M. P. O'Hare:
A Methodology for the Development of Multi-Agent Systems on Wireless Sensor Networks.
68-75 BibTeX
Session C4:
E-Business:
Management and Application
Session B5:
Reuse
Session C5:
Ontologies for Software Engineering
Session BF1:
Aspect-Oriented Design & Software Development
- Tegegne Marew, Jungyoon Kim, Doo-Hwan Bae:
Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development.
152-157 BibTeX
- Kendra Cooper, Lirong Dai, W. Eric Wong:
Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach.
158-162 BibTeX
- Ik-Joo Han, Doo-Hwan Bae:
Dynamically Evolvable Composition of Aspects Based On Relation Model.
163-168 BibTeX
- Huiqun Yu, Dongmei Liu, Li Yang, Xudong He:
Formal Aspect-Oriented Modeling and Analysis by Aspect.
169-174 BibTeX
- Kai-Yi Chin, Chih-Wei Lin, Zeng-Wei Hong, Jim-Min Lin, Arthur J. Lin:
Architecture for An Internet Marketing Multi-Agent System with Mediate Personal Agent.
175-180 BibTeX
Session CF1:
Software Agents and Design Patterns
Session BF2:
UML
- Mark Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis Zarate:
Formal Verification of Transactional Systems Based on UML Specifications.
199-204 BibTeX
- Aneesh Krishna, Aditya K. Ghose:
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram.
205-210 BibTeX
- Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani:
An Object-Oriented Modeling Learning Support System With Inspection Comments.
211-216 BibTeX
- Tong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani:
Toward a UML Profile to Support Component-Based Distributed Adaptive Systems.
217-222 BibTeX
- Tatsuya Kinjo, Atsuo Hazeyama:
An Object-Oriented Modeling Learning Support System With Inspection Comments.
223-228 BibTeX
- Hertong Song, Chokchai Leangsuksun, Raja Nassar:
OOMSE-An Object Oriented Markov Chain Specification and Evaluation Framework.
229-234 BibTeX
Session CF2:
Process
- Leonardo Pilatti, Rafael Prikladnicki, Jorge Luis Nicolas Audy:
Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 context.
235-240 BibTeX
- Rédouane Lbath, Bernard Coulette, Xavier Crégut:
A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes.
241-246 BibTeX
- Mira Kajko-Mattsson, Anna Grimlund Glassbrook, Maria Nordin:
Taxonomy of Predelivery/Prerelease Maintenance Activities.
247-252 BibTeX
- Ricardo de Almeida Falbo, Juliana Pezzin, Mellyssa M. Schwambach:
A Multi-Agent System for Knowledge Delivery in a Software Engineering Environment.
253-258 BibTeX
- Gemma Grau, Xavier Franch, Enric Mayol, Claudia P. Ayala, Carlos Cares, Mariela Haya, Fredy Navarrete, Pere Botella, Carme Quer:
RiSD: A Methodology for Building i-Strategic Dependency Models.
259-266 BibTeX
Session AF3:
Specification
Session BF3:
Testing I
Session CF3:
Web Technology
Session AF4:
Design
Session BF4:
Testing II
- Dianxiang Xu, Weifeng Xu, Kendall E. Nygard:
A State-Based Approach to Testing Aspect-Oriented Programs.
366-371 BibTeX
- Alexander Felfernig, Sergiu Gordea:
AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender Applications.
372-379 BibTeX
- Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua:
System Testing Automation: A Developer Perspective.
380-385 BibTeX
- Simone do Rocio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen:
ValiPar: A Testing Tool for Message-Passing Parallel Programs.
386-391 BibTeX
Session CF4:
Software Quality
Session AF5:
Architecture I
Session BF5:
Automated Software Analysis
Session AS1:
Requirement
Session BS1:
Data and Knowledge Base
- Frédéric Fürst, Francky Trichet:
TooCoM: bridge the gap between Ontologies and Knowledge-Based Systems.
479-484 BibTeX
- Mohib ur Rehman, Imran Ihsan, Mobin Uddin Ahmed, Muhammad Abdul Qadir, Nadeem Iftikhar:
UREKA - Grid Enabled Educational Multimedia Database.
485-490 BibTeX
- Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto:
Javawock: A Java Class Recommender System Based on Collaborative Filtering.
491-497 BibTeX
- Jamel Feki, Jihen Majdoubi, Faïez Gargouri:
A Two-Phase Approach for Multidimensional Schemes Integration.
498-503 BibTeX
Session CS1:
Data and Text Mining
Session AS2:
Security & Parallel Computing
Session BS2:
AI & Agent-based System
Session CS2:
Internet Web
Session AS3:
Specification
Session BS3:
Service Oriented Computing
Session CS3:
Component & Reuse
Session AS4:
Techniques & Algorithms I
- Noriko Hanakawa:
A project growth model based on communication for software development.
665-670 BibTeX
- Wu-Hong Chen, Jichiang Tsai, Di Tarn, Yen-Chian Chen:
Implementation of a Remote Checkpointing System for Windows NT Applications.
671-676 BibTeX
- David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Using Constraint Programming to Reason on Feature Models.
677-682 BibTeX
- Ji-Woong Park, Joung-Joon Kim, Jae-Kwan Yun, Ki-Joon Han:
Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices.
683-688 BibTeX
- Te-Wei Chiang, Tienwei Tsai, Li-Jen Kao:
Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain.
689-694 BibTeX
Session BS4:
Empirical Software Engineering
- Pasquale Ardimento, Alessandro Bianchi, Nicola Boffoli, Giuseppe Visaggio:
Empirical Investigation for Building Competences: A case for Extraordinary Maintenance.
695-700 BibTeX
- Pasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio:
Innovation Diffusion through Empirical Studies.
701-706 BibTeX
- Per Jönsson, Claes Wohlin:
Understanding Impact Analysis: An Empirical Study to Capture Knowledge on Different Organisational Level.
707-712 BibTeX
- Ahlem Nabli, Jamel Feki, Faïez Gargouri:
Adapting Multidimensional Schemes to Data sources using Algebraic Operators.
713-718 BibTeX
- Ana María Moreno, Maria Isabel Sánchez Segura:
Helping Software Engineers to Incorporate HCI Usability Features.
719-726 BibTeX
Session CS4:
Requirement & Architecture
- Chia-Chu Chiang:
A Design Methodology for Parallel Programming.
727-730 BibTeX
- Shih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston:
Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach.
731-734 BibTeX
- Pracha Asawateera, Songsakdi Rongviriyapanich:
The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools.
735-738 BibTeX
- Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose:
Towards Executable Specification: Combining i* and AgentSpeak(L) .
739-742 BibTeX
- Mohamed Mhiri, Achraf Mtibaa, Faïez Gargouri:
UMLOnto: Towards a Language for the Specification of Information Systems' Ontologies.
743-746 BibTeX
Session AS5:
Architecture II
Session BS5:
Techniques & Algorithms II
Session A5:
Digital Media
Session CS5:
Panel on Embedded and Ubiquitous Software Engineering (EUSE)
Copyright © Sat May 16 23:37:27 2009
by Michael Ley (ley@uni-trier.de)