18. SEKE 2006:
San Francisco,
CA,
USA
Kang Zhang, George Spanoudakis, Giuseppe Visaggio (Eds.):
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006.
2006, ISBN 1-891706-18-7 
Keynotes
- Ron Hira:
Outsourcing America.
1-2
- Kuo-Wei Hwang:
Information Services in Service Oriented Architecture-Challenges and Opportunities.
2
- Gordon Simpson:
A Pragmatic Approach to Enterprise Services Orientation.
3
Aspect-Oriented and Collaborative Systems
- Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami:
Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling.
4-10
- Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z.
11-16
- Uirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia:
Customizing Aspect-Oriented Variabilities using Generative Techniques.
17-22
- Saeko Matsuura, Hiroki Kurihara:
Collaboration Support Model of Software Development Experiment.
23-28
- Flavio De Paoli, Marco Loregian:
Enhancing Semantic Interoperability in Collaborative Systems.
29-34
Rule-Based Systems
Data Mining
Software Architecture
- David Garlan, Bradley R. Schmerl:
An Architecture for Personal Cognitive Assistance.
91-97
- Mourad Oussalah, Dalila Tamzalit, Olivier Le Goaer, Abdelhak Seriai:
Updating Styles Challenge Updating Needs within Component-based Software Architectures.
98-101
- Seonah Lee, Sungwon Kang:
Verifying a Software Architecture Reconstruction Framework with a Case Study.
102-107
- Rik Farenhorst, Remco C. de Boer, Robert Deckers, Patricia Lago, Hans van Vliet:
What's in Constructing a Domain Model for Sharing Architectural Knowledge?
108-113
- Helge Hofmeister, Guido Wirtz:
A Pattern Taxonomy for Business Process Integration Oriented Application Integration.
114-119
Verification & Decision Support
- Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon:
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications.
120-125
- Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
A PVS Approach to Verifying ORA-SS Data Models.
126-131
- Jim McElroy, Günther Ruhe:
Decision Support for Resource-centric Software Release Planning.
132-137
- Kevin McDaid, Des Greer, Frank Keenan, Paul Prior, Gerry Coleman, Philip S. Taylor:
Managing Uncertainty in Agile Release Planning.
138-143
- Sven Ziemer, Pedro R. Falcone Sampaio, Tor Stålhane:
A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Timeconstrained Web Application Development.
144-149
Databases
Software Development
Empirical SE
- Ernest Cachia, Mark Micallef:
Measuring the Usability of Online Stores.
206-211
- Soo Ho Chang, Hyun Jung La, Soo Dong Kim:
Key Issues and Metrics for Evaluating Product Line Architectures.
212-219
- Taghi M. Khoshgoftaar, Jason Van Hulse:
Multiple Imputation of Software Measurement Data: A Case Study.
220-226
- Taghi M. Khoshgoftaar, Chris Seiffert, Jason Van Hulse:
Polishing Noise in Continuous Software Measurement Data.
227-231
- Benjamin N. Hoipkemier, Nicholas A. Kraft, Brian A. Malloy:
3D Visualization of Class Template Diagrams for Deployed Open Source Applications.
232-235
- Jason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan:
Parallel Monitoring of Design Pattern Contracts.
236-241
- Liguo Yu, Kai Chen:
An Empirical Study of the Maintenance Effort.
242-245
- Silvia Teresita Acuña, Marta Gómez, Ramón Rico:
Experimental Study on the Impact of Team Climate on Software Quality.
246-251
- Chi-Hung Chi, Jun-Li Yuan, Lin Liu:
Web Object Cacheability How Much Do We Know?
252-255
- Syed Waseem Haider, João W. Cangussu:
Bayesian Estimation of Defects based on Defect Decay Model: BayesED3M.
256-261
Component
- Hyggo Oliveira de Almeida, Angelo Perkusich, Glauber Ferreira, Emerson Loureiro, Evandro de Barros Costa:
A Component Model to Support Dynamic Unanticipated Software Evolution.
262-267
- Wei Sun, Xin Zhang, Ying Liu, Zhong Tian:
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution.
268-273
- Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti:
Container-Based Component Deployment: A Case Study.
274-277
- Manasi Kelkar, Melanie Smith, Rose F. Gamble:
Interaction Partnering Criteria for COTS Components.
278-283
- Yan Li, Ying Pan, Lu Zhang, Bing Xie, Jiasu Sun:
Ranking Component Retrieval Results by Leveraging User History Information.
284-289
Components and Evolution
- Zhijiang Dong, Yujian Fu, Xudong He:
A Framework for Component-based System Modeling.
290-295
- Dalila Tamzalit, Nassima Sadou, Mourad Oussalah:
Evolution problem within Component-Based Software Architecture.
296-301
- Kamran Sartipi, Hossein Safyallah:
Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation.
302-308
- Ji Hyeok Kim, Sung Yul Rhew, Soo Dong Kim:
A Practical Quality Model for Evaluating Business Components.
309-314
- Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson:
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
315-320
- Neelam Soundarajan, Jason O. Hallstrom:
Pattern-Based System Evolution: A Case-Study.
321-326
Ontologies
- Scott Henninger, Padmapriya Ashokkumar:
An Ontology-Based Metamodel for Software Patterns.
327-330
- Alain April, Jean-Marc Desharnais, Reiner R. Dumke:
A Formalism of Ontology to Support a Software Maintenance Knowledge-based System.
331-336
- S. Thaddeus, S. V. Kasmir Raja:
Ontology-driven Model for Knowledge-Based Software Engineering.
337-342
- Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, Pericles Loucopoulos:
Performing Requirements Elicitation Activities Supported by Quality Ontologies.
343-348
- Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk:
KOntoR: An Ontology-enabled Approach to Software Reuse.
349-354
Programming Languages
- Benjamin Tyler, Neelam Soundarajan:
Automatic Monitoring of Control-flow Through Inheritance Hierarchies.
355-358
- Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai:
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics.
359-362
- Faizan Javed, Marjan Mernik, Alan P. Sprague, Barrett R. Bryant:
Incrementally Inferring Context-Free Grammars for Domain-Specific Languages.
363-368
- Bo Chen, Zhoujun Li, Huowang Chen:
Supporting Connector in Programming Language.
369-374
- Djuradj Babich, Kayan Chiu, Peter J. Clarke:
TaxTOOLJ: A Tool to Catalog Java Classes.
375-380
Security
- Li Yang, Joseph M. Kizza, Raimund K. Ege, Malek Adjouadi:
A Relationship-based Flexible Authorization Framework for Mediation Systems.
381-385
- Antonio Maña, Francisco Sanchez, Daniel Serrano, Antonio Muñoz:
Towards Secure Ambient Intelligence Scenarios.
386-391
- Joshua J. Pauli, Dianxiang Xu:
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems.
392-397
- Ohm Sornil, Pattree Sidthikorn:
Improving Intrusion Detection Systems Using Reference Vectors.
398-403
- Matthias Merz:
Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data Objects.
404-409
- Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng:
A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization.
410-415
Knowledge Acquisition
Formal Methods
- Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi:
Falsification of OTSs by Searches of Bounded Reachable State Spaces.
440-445
- Samira Sadaoui, Sudhanshu Singh:
Implementation of CafeOBJ Specifications to Java Code.
446-449
- Maria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Antonio Piccinno:
Nogueira A Design Methodology for Tailorable Visual Interactive Systems.
450-455
- Ying Huang, Xudong He:
A Method for Modeling Object-Oriented Systems with PZ nets.
456-462
- Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He:
Achieving a Better Middleware Design through Formal Modeling and Analysis.
463-468
- Débora Maria Barroso Paiva, André Pimenta Freire, Renata Pontin de Mattos Fortes:
Design Rationale in Academic Software Development: Requirements for a Representation Model.
469-472
Testing
- W. Eric Wong, Sharath Rao, John Linn, James Overturf:
Coverage Testing Embedded Software on Symbian/OMAP.
473-478
- Johannes Mayer:
Efficient and Effective Random Testing based on Partitioning and Neighborhood.
479-484
- Michael E. Shin, Yan Xu:
Enhanced Anomaly Detection in Self-Healing Components.
485-488
- Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt:
Program Testing Using High-Level Property-Driven Models.
489-494
- Mohammed Benattou:
A Multi-Agent Based Architecture For Distributed Testing.
495-498
- Rattikorn Hewett, Aniruddha Kulkarni, Catherine Stringfellow, Anneliese Amschler Andrews:
Software Defect Data and Predictability for Testing Schedules.
499-504
- Orest Pilskalns, Anneliese Amschler Andrews:
Using UML Designs to Generate OCL for Security Testing.
505-510
- Ledyvânia Franzotte, Silvia Regina Vergilio:
Applying Mutation Testing in XML Schemas.
511-516
- Changhai Nie, Baowen Xu, Liang Shi, Ziyuan Wang:
A New Heuristic for Test Suite Generation for Pair-wise Testing.
517-521
- Ellen Francine Barbosa, Elisa Yumi Nakagawa, José Carlos Maldonado:
Towards the Establishment of an Ontology of Software Testing.
522-525
Web Services
- Michael Jiang, Anant Athale, Zhihui Yang, Rajarshi Chatterjee, Jay Acharya:
Automating the Implementation of Mobile Applications and Services.
526-531
- Zhuopeng Zhang, Jian Kang, Hongji Yang:
UML Modelling Web Applications via Formal Concept Analysis.
532-535
- Wolfgang Mayer, Markus Stumptner:
Debugging Failures in Web Services Coordination.
536-543
- Jing Dong, Yongtao Sun, Sheng Yang:
OWL-S Ontology Framework Extension for Dynamic Web Service Composition.
544-549
- Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness:
WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems.
550-555
UML and Modeling
- Xing-Yi Lin, Ching-Hui Wang, William C. Chu, Chihhsiong Shih:
UML and Modeling A Use Case Model and its Transformation to Activity Diagram.
556-561
- W. C. Piao, C. H. Wang, William C. Chu, Lung-Pin Chen:
An Analysis Model of Activity Diagram in UML 2.0.
562-567
- Asghar Bokhari, W. P. Skip Poehlman:
Translation of UML Models to Object Coloured Petri Nets with a view to Analysis.
568-571
- Farid Mokhati, Mourad Badri, Patrice Gagnon:
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.
572-577
- Lijun Shan, Hong Zhu:
Specifying Consistency Constraints for Modelling Languages.
578-583
Web & Workflow Management
AAIEPESE Workshop AAIEPESE'06
- Ni-Bin Chang:
AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering.
613-618
- Kaddour Boukerche, Hakim Lounis:
Reengineering a Rule-Based System towards a Planning System.
619-624
- Swapna S. Gokhale, Sherif Yacoub:
Reliability Analysis of Pipe and Filter Architecture Style.
625-630
- Mark A. J. Song, Luis E. Zárate, Sergio M. Dias, A. Alvarez, B. Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, N. Vieira:
SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study.
631-638
AOSDM Workshop
Multi-Agent Models
- XinJun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
639-644
- Walid Chainbi:
An Ontology Based Multi-Agent System Conceptual Model.
645-650
- Liang Xiao, Des Greer:
A Hierarchical Agent-oriented Knowledge Model for Multi-Agent Systems.
651-656
- Gemma Grau, Carlos Cares, Xavier Franch, Fredy Navarrete:
A Comparative Analysis of i*Agent-Oriented Modelling Techniques.
657-663
- Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du:
A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment.
664-669
Agent-Oriented Development
EECC Workshop
Web Service Composition
Component-Based Systems
- Liangli Ma, Yansheng Lu, Mengren Liu:
The Research and Design of Layered-metadata used for Component-based Software Testing.
720-723
- Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan, Andrew M. Olson, Mikhail Auguston:
QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems.
724-729
- Yong Zhang, Ningjiang Chen, Jun Wei, Tao Huang:
Performance Evaluation of Component System based on Container style Middleware.
730-736
- Liguo Yu, Kai Chen:
Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse.
737-742
Copyright © Sun Nov 8 03:01:11 2009
by Michael Ley (ley@uni-trier.de)
