default search action
15th 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
Keynote 1
- Athula Ginige:
Re-engineering Software Development Process for eBusiness Application Development. SEKE 2003: 1-8
Session 1A: Web Engineering
- Martti Jeenicke, Wolf-Gideon Bleek, Ralf Klischewski:
Revealing Web User Requirements through e-Prototyping. SEKE 2003: 9-16 - Rachatrin Tongrungrojana, David B. Lowe:
WebML+: a Web modeling language for forming a bridge between business modeling and information modeling. SEKE 2003: 17-24 - Gennaro Costagliola, Sergio Di Martino, Filomena Ferrucci:
An Evaluation of Web3d Technologies from Developer's and End-User's Point of View. SEKE 2003: 25-32 - Fusheng Wang, Carlo Zaniolo:
Representing and Querying the Evolution of Databases and their Schemas in XML. SEKE 2003: 33-38
Session 1B: Software Maintenance
- Antonio Fresa, Maria Carmela Annosi, F. Forte:
Corrective Maintenance Process: a Case Study from a Telecom Software Development and Maintenance Organization. SEKE 2003: 39-45 - Andrew Strelzoff:
Revision Recognition for Scientific Computing: Theory and Application. SEKE 2003: 46-53 - Pantti Netinianti, Tzilla Elrad:
Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach. SEKE 2003: 54-60 - Nicolas Anquetil, Káthia Marçal de Oliveira, Márcio Greyck Batista Dias, Marcelo Ramal, Ricardo de Moura Meneses:
Knowledge for Software Maintenance. SEKE 2003: 61-68
Session 2A: Software Measurements
- Mie Mie Thet Thwin, Tong-Seng Quah:
Application of Neural Networks for Estimating Software Maintainability Using Object-Oriented Metrics. SEKE 2003: 69-73 - Justin M. Beaver, Guy A. Schiavone:
Spatial Data Analysis as a Software Quality Modeling Technique. SEKE 2003: 74-77 - Marcela Genero, Francisco Ruiz, Mario Piattini, Coral Calero:
Towards an Ontology for Software Measurement. SEKE 2003: 78-84
Session 2B: Agent Systems 1
- Longbing Cao, Chunsheng Li, Chengqi Zhang, Ruwei Dai:
Open Giant Intelligent Information Systems and Its Agent-Oriented Analysis and Design. SEKE 2003: 85-89 - Paolo Ciancarini, Valentina Presutti, Luca Abeti:
An Ontology Driven Design Method for inter-Agent Communication. SEKE 2003: 90-94 - Marcello Sarini, Carla Simone:
From Actors to Applications: Interpreting User Centered Design of Coordination Supports. SEKE 2003: 95-102 - T. Tung Do, Manuel Kolp, Alain Pirotte:
Social Patterns for Designing Multiagent Systems. SEKE 2003: 103-110
Session 3A: Software Visualization and Comprehension 1
- Xiaodi Huang, Wei Lai:
Automatic Abstraction of Graphs Based on Node Similarity for Graph Visualization. SEKE 2003: 111-118 - Biao Jiang, Mao Lin Huang:
Exploring UDDI Registries Using Modified OFDAV Browser. SEKE 2003: 119-123 - Jing Dong, Sheng Yang:
Extending UML to Visualize Design Patterns In Class Diagrams. SEKE 2003: 124-131 - Jie Ren, Richard N. Taylor:
Visualizing Software Architecture with Off-The-Shelf Components. SEKE 2003: 132-141
Session 3B: Formal Methods
- Stephan Flake, Wolfgang Müller:
Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003: 142-149 - Zhijiang Dong, Yujian Fu, Xudong He:
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. SEKE 2003: 150-157 - David Owen, Tim Menzies:
Lurch: a Lightweight Alternative to Model Checking. SEKE 2003: 158-165 - Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai:
TILCO Temporal Logic for Real-Time Systems Implementation in C++. SEKE 2003: 166-173 - Oscar Mondragon, Ann Q. Gates, Fadi Kassem:
Automated Support for Property Specification Based on Patterns. SEKE 2003: 174-181
Keynote 2
- Gio Wiederhold:
The Product Flow Model. SEKE 2003: 182-186
Session 3A: Software Visualization and Comprehension 2
- Jeff Michaud, Margaret-Anne D. Storey:
The Role of Knowledge in Software Customization. SEKE 2003: 187-195 - 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. SEKE 2003: 196-203 - Zhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao:
Partial Slicing for Large Programs. SEKE 2003: 204-207 - Matinee Kiewkanya, Nongyao Jindasawat, Nakornthip Prompoon, Pornsiri Muenchaisri:
Constructing Understandability Model from Design Metrics. SEKE 2003: 208-215
Session 4B: Agent Systems 2
- M. Brian Blake, Andrew B. Williams:
Developmental and Operational Processes for Agent-Oriented Database Navigation for Knowledge Discovery. SEKE 2003: 216-223 - Anna Perini, Angelo Susi:
Dealing with software design issues using an Agent-Oriented methodology. SEKE 2003: 224-231 - K. Suzanne Barber, Dung N. Lam:
Specifying and Analyzing Agent Architectures using the Agent Competency Framework. SEKE 2003: 232-239
Session 5A: Data Mining Approach to SE and KE
- Matthias Baumgarten, Alex G. Büchner, John G. Hughes:
Tree-Growth based Sequential and Associative Pattern Discovery. SEKE 2003: 240-244 - Farhan Rafique, A. Anwar:
An Efficient Knowledge Management Technique for finding Association Rules. SEKE 2003: 245-249 - Ola Ågren:
CHiC: A Fast Concept Hierarchy Constructor for Discrete or Mixed Mode Databases. SEKE 2003: 250-258 - Chih Lai, Lawrence Stephanie, Meng Fang:
Real-Time Mining of Partial Periodic Patterns. SEKE 2003: 259-266
Session 5B: Software and Knowledge Reuse
- Hongyu Zhang, Stan Jarzabek:
An XVCL-based Approach to Software Product Line Development. SEKE 2003: 267-275 - Joseph Neelamkavil, Michael Kernahan:
Extracting Knowledge from Technical Documents. SEKE 2003: 276-280 - Carlos Fernández-Conde, Pedro A. González-Calero:
Case-based Framework Instantiation. SEKE 2003: 281-288 - 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. SEKE 2003: 289-296 - Kareem S. Aggour, Marc Pavese:
ROADS: A Reusable, Optimizable Architecture for Decision Systems. SEKE 2003: 297-305
Session 6A: UML
- Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.:
Extending UML to Specify and Verify E-commerce Systems. SEKE 2003: 306-313 - Luigi Lavazza, Giuseppe Occorso:
Simulation-based Verification of UML models. SEKE 2003: 314-321 - S. L. Kendal, Kate Ashton, X. Chen:
A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information Systems. SEKE 2003: 322-326 - Luigi Lavazza:
Rigorous Description of Software Requirements with UML. SEKE 2003: 327-334 - Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento:
Case-Based Reuse of UML Diagrams. SEKE 2003: 335-339
Session 6B: Software Process and Architecture 1
- Daniel E. Cooke, Jason Denton:
Software Engineering as Technology Transfer. SEKE 2003: 340-345 - Dongfeng Wang, Farokh B. Bastani, I-Ling Yen:
Relational Program Architecture for High Quality Software Development. SEKE 2003: 346-353 - Jun Yan, Yun Yang, Gitesh K. Raikundalia:
A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow Systems. SEKE 2003: 354-358 - Thomas Schöbel-Theuer:
On Variants of Genericity. SEKE 2003: 359-365 - Mahmood Niazi, David Wilson, Didar Zowghi:
A Framework for Guiding the Design of Effective Implementation Strategies for Software Process Improvement. SEKE 2003: 366-371
Session 7A: Knowledge Retrieval and Management
- Roberto Boselli, Flavio De Paoli, Riccardo Dondi:
Knowledge Organization and Retrieval in the MILK System. SEKE 2003: 372-376 - Jürgen Münch, Jens Heidrich, Alexandra Daskovska:
A Practical Way to Use Clustering and Context Knowledge for Software Project Planning. SEKE 2003: 377-384 - Prashant Baheti, Laurie A. Williams, Aldo Dagnino, Andrew Cordes:
On Identifying Deficiencies in a Knowledge Management System. SEKE 2003: 385-392 - Sigrid Goldmann, Harald Holz, Michael M. Richter:
Knowledge Management for Project Planning and Enactment in Software Engineering. SEKE 2003: 393-397
Session 7B: Software Process and Architecture 2
- Hassan Reza, Xudong He:
An Integrated Method to Software Architecture. SEKE 2003: 398-405 - Michael Cebulla:
Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic Architectures. SEKE 2003: 406-413 - Maurizio Longo, P. Asprino, Antonio Fresa, N. Gaito:
A Layered Architecture to Manage Complex Multimedia Services. SEKE 2003: 414-421 - Daniela Micucci, Andrea Trentini:
A Pattern-like Framework to Dynamically Change Components Behaviour. SEKE 2003: 422-426
Session 8A: Knowledge Acquisition
- Zhou Jiehan, Haiyang Lan:
Relative Index Term Frequency (RITF) Method. SEKE 2003: 427-431 - Heather Richter, Gregory D. Abowd, Christopher A. Miller, Harry Funk:
Tagging Knowledge Acquisition Sessions to Facilitate Knowledge Traceability. SEKE 2003: 432-439 - Yachai Limpiyakorn, Ilene Burnstein:
Integrating Signature Matching into Knowledge-Based Program Understanding. SEKE 2003: 440-444 - Yao-Tsung Chen, Bingchiang Jeng:
MFILM: a multi-dimensional fuzzy inductive learning method for knowledge acquisition. SEKE 2003: 445-449
Session 8B: Integrity, Security and Fault-Tolerance
- Huiqun Yu, Xudong He, Shu Gao, Yi Deng:
Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457 - Hui Ding, Can Zheng, Lui Sha, Gul Agha:
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE 2003: 458-466 - Dongfeng Wang, Farokh B. Bastani, I-Ling Yen:
Automated Software Design of Process-Control Systems. SEKE 2003: 467-474 - Michael Todd Gamble, Rose F. Gamble, Leigh A. Davis:
Defining Change Management Properties for Component Interoperability Assessment. SEKE 2003: 475-482 - Ibrahim S. Abdullah, Edgar H. Sibley:
A Step toward building Dynamic Security Infrastructure. SEKE 2003: 483-488
Session 9A: Distributed Software Development
- Seija Komi-Sirviö, Maarit Tihinen:
Great Challenges and Opportunities of Distributed Software Development - An Industrial Survey. SEKE 2003: 489-496 - Lerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato:
GENESIS: A Flexible and Distributed Environment for Cooperative Software Engineering. SEKE 2003: 497-502 - Andrea Trentini, Francesca Arcelli Fontana, Francesco Tisato:
A Distributed Document Management Approach for Workflow Support in the DBSA Architecture. SEKE 2003: 503-509 - Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith:
Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE 2003: 510-517 - 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. SEKE 2003: 518-525
Session 9B: Spatial Reasoning and Search
- Chee Fon Chang, Aneesh Krishna, Aditya K. Ghose:
Agent-assisted Distributed Requirements Elicitation and Management. SEKE 2003: 526-533 - Ronald Maier, Johannes Sametinger:
Infotop - A Shared-context Information Workspace. SEKE 2003: 534-541 - Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee:
Analysing Web Ontology in Alloy: A Military Case Study. SEKE 2003: 542-546 - Tetsuya Suzuki, Takehiro Tokuda:
Path Set Operations for Clipping of Parts of Web Pages and Information Extraction from Web pages. SEKE 2003: 547-554 - Fabio Pittarello:
3D Time-pillars: an information access metaphor for the TV Domain. SEKE 2003: 555-560
Session 10A: Requirements Engineering
- K. Suzanne Barber, Jim Holt, Geoff Baker:
Early Multi-Level Software Architecture Performance Evaluations. SEKE 2003: 561-569 - George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman:
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. SEKE 2003: 570-577 - 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. SEKE 2003: 578-585 - An Ngo-The, Günther Ruhe:
Requirements Negotiation under Incompleteness and Uncertainty. SEKE 2003: 586-593 - Huaqing Li, Shaoyu Wang, Feihu Qi:
A Fast Binary Tree Based Face Recognition Algorithm. SEKE 2003: 594-598
Session 10B: Software Testing and Software Education
- Shuyi Shao, Shi-Kuo Chang:
Management of the Growing Book as Generalized Objects. SEKE 2003: 599-606 - Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski:
Better Analysis of Defect Data at NASA. SEKE 2003: 607-611 - Patricio Letelier, José H. Canós, Emilio A. Sánchez:
Working with Extreme Programming in a Software Development Laboratory. SEKE 2003: 612-615 - Eugene Y. Sheng:
The Algorithm Tutor. SEKE 2003: 616-620
Session 11A: Data Mining for SE and KE 1
- Xiaowei Yan, Chengqi Zhang, Shichao Zhang:
A Database-Independent Strategy for Confidence Determination. SEKE 2003: 621-625 - Ned Chapin, Mira Kajko-Mattsson:
Validative measurement in software engineering: a data mining example. SEKE 2003: 626-633 - Ching-Seh Wu, Dick B. Simmons:
A Data Mining Approach for Dynamic Software Project Plan Tracking. SEKE 2003: 634-638
Session 11B: Software Engineering and Decision Support 1
- Michael Ochs:
Using Software Risk Management for Deriving Method Requirements for Risk Mitigation in COTS Assessment and Selection. SEKE 2003: 639-646 - Leila Meshkat, Martin S. Feather, Steven L. Cornford:
Traceability and Decision Capture in Semi-structured Contexts. SEKE 2003: 647-654 - Tim Menzies, James D. Kiper, Martin S. Feather:
Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. SEKE 2003: 655-662 - Daniela Grigori, François Charoy, Claude Godart:
COO-flow: a Process Technology to Support Cooperative Processes. SEKE 2003: 663-670 - Jun-Jang Jeng, Stephen J. Buckley, Henry Chang, Jen-Yao Chung:
A Holonic Framework for Business Activity Management. SEKE 2003: 671-678
Session 12A: Data Mining for SE and KE 2
- Chih Lai, Szara Loring, Joe Breuer:
Mining Access Patterns for Enhancing Navigational Access in Object-Oriented Database. SEKE 2003: 679-684 - Honghua Dai, Wei Dai:
Software Warehouse and Its Management Strategies. SEKE 2003: 685-690 - James N. K. Liu, Raymond W. M. Kwong, Meng Wang, Danny K. Y. Sin:
An Integrated Framework for Knowledge Management and Discovery of Tropical Cyclone Movements. SEKE 2003: 691-698 - Shu-Chuan Lo, Jia-Hui Chang:
Application of Clustering Techniques to Component Architecture Design. SEKE 2003: 699-705
Session 12B: Software Engineering and Decision Support 2
- Sandro Morasca:
A Bayesian Approach to Software Testing Evaluation. SEKE 2003: 706-713 - Gerardo Canfora, Luigi Cerulo, Rosa Preziosi, Luigi Troiano:
A Tool for Decision Support Implementing OFNWA Approach: A Case Study. SEKE 2003: 714-720 - Paolo Ciancarini, Rocco Moretti:
Towards a Framework for Web Sites Quality Evaluation. SEKE 2003: 721-725 - Richard Cole, Thomas Tilley:
Conceptual Analysis of Software Structure. SEKE 2003: 726-733
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: