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 BibTeX
Keynotes
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 BibTeX
- Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z.
11-16 BibTeX
- Uirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia:
Customizing Aspect-Oriented Variabilities using Generative Techniques.
17-22 BibTeX
- Saeko Matsuura, Hiroki Kurihara:
Collaboration Support Model of Software Development Experiment.
23-28 BibTeX
- Flavio De Paoli, Marco Loregian:
Enhancing Semantic Interoperability in Collaborative Systems.
29-34 BibTeX
Rule-Based Systems
Data Mining
Software Architecture
- David Garlan, Bradley R. Schmerl:
An Architecture for Personal Cognitive Assistance.
91-97 BibTeX
- Mourad Oussalah, Dalila Tamzalit, Olivier Le Goaer, Abdelhak Seriai:
Updating Styles Challenge Updating Needs within Component-based Software Architectures.
98-101 BibTeX
- Seonah Lee, Sungwon Kang:
Verifying a Software Architecture Reconstruction Framework with a Case Study.
102-107 BibTeX
- 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 BibTeX
- Helge Hofmeister, Guido Wirtz:
A Pattern Taxonomy for Business Process Integration Oriented Application Integration.
114-119 BibTeX
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 BibTeX
- Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
A PVS Approach to Verifying ORA-SS Data Models.
126-131 BibTeX
- Jim McElroy, Günther Ruhe:
Decision Support for Resource-centric Software Release Planning.
132-137 BibTeX
- Kevin McDaid, Des Greer, Frank Keenan, Paul Prior, Gerry Coleman, Philip S. Taylor:
Managing Uncertainty in Agile Release Planning.
138-143 BibTeX
- 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 BibTeX
Databases
Software Development
Empirical SE
- Ernest Cachia, Mark Micallef:
Measuring the Usability of Online Stores.
206-211 BibTeX
- Soo Ho Chang, Hyun Jung La, Soo Dong Kim:
Key Issues and Metrics for Evaluating Product Line Architectures.
212-219 BibTeX
- Taghi M. Khoshgoftaar, Jason Van Hulse:
Multiple Imputation of Software Measurement Data: A Case Study.
220-226 BibTeX
- Taghi M. Khoshgoftaar, Chris Seiffert, Jason Van Hulse:
Polishing Noise in Continuous Software Measurement Data.
227-231 BibTeX
- Benjamin N. Hoipkemier, Nicholas A. Kraft, Brian A. Malloy:
3D Visualization of Class Template Diagrams for Deployed Open Source Applications.
232-235 BibTeX
- Jason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan:
Parallel Monitoring of Design Pattern Contracts.
236-241 BibTeX
- Liguo Yu, Kai Chen:
An Empirical Study of the Maintenance Effort.
242-245 BibTeX
- Silvia Teresita Acuña, Marta Gómez, Ramón Rico:
Experimental Study on the Impact of Team Climate on Software Quality.
246-251 BibTeX
- Chi-Hung Chi, Jun-Li Yuan, Lin Liu:
Web Object Cacheability How Much Do We Know?
252-255 BibTeX
- Syed Waseem Haider, João W. Cangussu:
Bayesian Estimation of Defects based on Defect Decay Model: BayesED3M.
256-261 BibTeX
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 BibTeX
- Wei Sun, Xin Zhang, Ying Liu, Zhong Tian:
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution.
268-273 BibTeX
- Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti:
Container-Based Component Deployment: A Case Study.
274-277 BibTeX
- Manasi Kelkar, Melanie Smith, Rose F. Gamble:
Interaction Partnering Criteria for COTS Components.
278-283 BibTeX
- Yan Li, Ying Pan, Lu Zhang, Bing Xie, Jiasu Sun:
Ranking Component Retrieval Results by Leveraging User History Information.
284-289 BibTeX
Components and Evolution
- Zhijiang Dong, Yujian Fu, Xudong He:
A Framework for Component-based System Modeling.
290-295 BibTeX
- Dalila Tamzalit, Nassima Sadou, Mourad Oussalah:
Evolution problem within Component-Based Software Architecture.
296-301 BibTeX
- Kamran Sartipi, Hossein Safyallah:
Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation.
302-308 BibTeX
- Ji Hyeok Kim, Sung Yul Rhew, Soo Dong Kim:
A Practical Quality Model for Evaluating Business Components.
309-314 BibTeX
- Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson:
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
315-320 BibTeX
- Neelam Soundarajan, Jason O. Hallstrom:
Pattern-Based System Evolution: A Case-Study.
321-326 BibTeX
Ontologies
- Scott Henninger, Padmapriya Ashokkumar:
An Ontology-Based Metamodel for Software Patterns.
327-330 BibTeX
- Alain April, Jean-Marc Desharnais, Reiner R. Dumke:
A Formalism of Ontology to Support a Software Maintenance Knowledge-based System.
331-336 BibTeX
- S. Thaddeus, S. V. Kasmir Raja:
Ontology-driven Model for Knowledge-Based Software Engineering.
337-342 BibTeX
- Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, Pericles Loucopoulos:
Performing Requirements Elicitation Activities Supported by Quality Ontologies.
343-348 BibTeX
- Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk:
KOntoR: An Ontology-enabled Approach to Software Reuse.
349-354 BibTeX
Programming Languages
- Benjamin Tyler, Neelam Soundarajan:
Automatic Monitoring of Control-flow Through Inheritance Hierarchies.
355-358 BibTeX
- 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 BibTeX
- Faizan Javed, Marjan Mernik, Alan P. Sprague, Barrett R. Bryant:
Incrementally Inferring Context-Free Grammars for Domain-Specific Languages.
363-368 BibTeX
- Bo Chen, Zhoujun Li, Huowang Chen:
Supporting Connector in Programming Language.
369-374 BibTeX
- Djuradj Babich, Kayan Chiu, Peter J. Clarke:
TaxTOOLJ: A Tool to Catalog Java Classes.
375-380 BibTeX
Security
- Li Yang, Joseph M. Kizza, Raimund K. Ege, Malek Adjouadi:
A Relationship-based Flexible Authorization Framework for Mediation Systems.
381-385 BibTeX
- Antonio Maña, Francisco Sanchez, Daniel Serrano, Antonio Muñoz:
Towards Secure Ambient Intelligence Scenarios.
386-391 BibTeX
- Joshua J. Pauli, Dianxiang Xu:
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems.
392-397 BibTeX
- Ohm Sornil, Pattree Sidthikorn:
Improving Intrusion Detection Systems Using Reference Vectors.
398-403 BibTeX
- Matthias Merz:
Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data Objects.
404-409 BibTeX
- Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng:
A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization.
410-415 BibTeX
Knowledge Acquisition
Formal Methods
- Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi:
Falsification of OTSs by Searches of Bounded Reachable State Spaces.
440-445 BibTeX
- Samira Sadaoui, Sudhanshu Singh:
Implementation of CafeOBJ Specifications to Java Code.
446-449 BibTeX
- Maria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Antonio Piccinno:
Nogueira A Design Methodology for Tailorable Visual Interactive Systems.
450-455 BibTeX
- Ying Huang, Xudong He:
A Method for Modeling Object-Oriented Systems with PZ nets.
456-462 BibTeX
- Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He:
Achieving a Better Middleware Design through Formal Modeling and Analysis.
463-468 BibTeX
- 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 BibTeX
Testing
- W. Eric Wong, Sharath Rao, John Linn, James Overturf:
Coverage Testing Embedded Software on Symbian/OMAP.
473-478 BibTeX
- Johannes Mayer:
Efficient and Effective Random Testing based on Partitioning and Neighborhood.
479-484 BibTeX
- Michael E. Shin, Yan Xu:
Enhanced Anomaly Detection in Self-Healing Components.
485-488 BibTeX
- Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt:
Program Testing Using High-Level Property-Driven Models.
489-494 BibTeX
- Mohammed Benattou:
A Multi-Agent Based Architecture For Distributed Testing.
495-498 BibTeX
- Rattikorn Hewett, Aniruddha Kulkarni, Catherine Stringfellow, Anneliese Amschler Andrews:
Software Defect Data and Predictability for Testing Schedules.
499-504 BibTeX
- Orest Pilskalns, Anneliese Amschler Andrews:
Using UML Designs to Generate OCL for Security Testing.
505-510 BibTeX
- Ledyvânia Franzotte, Silvia Regina Vergilio:
Applying Mutation Testing in XML Schemas.
511-516 BibTeX
- Changhai Nie, Baowen Xu, Liang Shi, Ziyuan Wang:
A New Heuristic for Test Suite Generation for Pair-wise Testing.
517-521 BibTeX
- Ellen Francine Barbosa, Elisa Yumi Nakagawa, José Carlos Maldonado:
Towards the Establishment of an Ontology of Software Testing.
522-525 BibTeX
Web Services
- Michael Jiang, Anant Athale, Zhihui Yang, Rajarshi Chatterjee, Jay Acharya:
Automating the Implementation of Mobile Applications and Services.
526-531 BibTeX
- Zhuopeng Zhang, Jian Kang, Hongji Yang:
UML Modelling Web Applications via Formal Concept Analysis.
532-535 BibTeX
- Wolfgang Mayer, Markus Stumptner:
Debugging Failures in Web Services Coordination.
536-543 BibTeX
- Jing Dong, Yongtao Sun, Sheng Yang:
OWL-S Ontology Framework Extension for Dynamic Web Service Composition.
544-549 BibTeX
- 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 BibTeX
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 BibTeX
- W. C. Piao, C. H. Wang, William C. Chu, Lung-Pin Chen:
An Analysis Model of Activity Diagram in UML 2.0.
562-567 BibTeX
- Asghar Bokhari, W. P. Skip Poehlman:
Translation of UML Models to Object Coloured Petri Nets with a view to Analysis.
568-571 BibTeX
- Farid Mokhati, Mourad Badri, Patrice Gagnon:
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.
572-577 BibTeX
- Lijun Shan, Hong Zhu:
Specifying Consistency Constraints for Modelling Languages.
578-583 BibTeX
Web & Workflow Management
AAIEPESE Workshop AAIEPESE'06
- Ni-Bin Chang:
AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering.
613-618 BibTeX
- Kaddour Boukerche, Hakim Lounis:
Reengineering a Rule-Based System towards a Planning System.
619-624 BibTeX
- Swapna S. Gokhale, Sherif Yacoub:
Reliability Analysis of Pipe and Filter Architecture Style.
625-630 BibTeX
- 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 BibTeX
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 BibTeX
- Walid Chainbi:
An Ontology Based Multi-Agent System Conceptual Model.
645-650 BibTeX
- Liang Xiao, Des Greer:
A Hierarchical Agent-oriented Knowledge Model for Multi-Agent Systems.
651-656 BibTeX
- Gemma Grau, Carlos Cares, Xavier Franch, Fredy Navarrete:
A Comparative Analysis of i*Agent-Oriented Modelling Techniques.
657-663 BibTeX
- 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 BibTeX
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 BibTeX
- 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 BibTeX
- Yong Zhang, Ningjiang Chen, Jun Wei, Tao Huang:
Performance Evaluation of Component System based on Container style Middleware.
730-736 BibTeX
- Liguo Yu, Kai Chen:
Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse.
737-742 BibTeX
Copyright © Sat May 16 23:37:27 2009
by Michael Ley (ley@uni-trier.de)
