International Journal of Software Engineering and Knowledge Engineering

2005

A Survey Of Xml Applications On Science And Technology
by: Zhongyu Lu v. 15 i. 1 p. 1 - 33
Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation
by: Michael E. Shin, Alexander H. Levis, Lee W. Wagenhals, Dae-Sik Kim v. 15 i. 1 p. 35 - 60
A Generic Formal Framework For Constructing Agent Interaction Protocols
by: Bo Chen, Samira Sadaoui v. 15 i. 1 p. 61 - 85
Filmification Of Methods And An Example Of Its Applications
by: Tsukasa Ebihara, Nikolay N. Mirenkov, Masaaki Nemoto, Rikio Nomoto v. 15 i. 1 p. 87 - 115
Similarity Of Xml-Schema Elements Supported By Domain Ontologies
by: Anna Formica v. 15 i. 1 p. 117 - 130

2004

Guest Editor'S Introduction
by: Kang Zhang v. 14 i. 1 p. 1 - 2
Tagging Knowledge Acquisition Sessions To Facilitate Knowledge Traceability
by: Heather Richter, Gregory D. Abowd, Christopher A. Miller, Harry Funk v. 14 i. 1 p. 3 - 19
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions
by: Oscar Mondragon, Ann Q. Gates v. 14 i. 1 p. 21 - 41
A Systematic Design Method For High Quality Process-Control Systems Development
by: Dongfeng Wang, Farokh B. Bastani, I-Ling Yen v. 14 i. 1 p. 43 - 59
Coo-Flow: A Process Technology To Support Cooperative Processes
by: Daniela Grigori, François Charoy, Claude Godart v. 14 i. 1 p. 61 - 78
Peer-To-Peer Information Workspaces In Infotop
by: Ronald Maier, Johannes Sametinger v. 14 i. 1 p. 79 - 102
Customizing Component-Based Software Using Component Coordination Model: A Use-Context Driven Approach Toward Role-Based Model
by: Mathee Olarnsakul, Dentcho N. Batanov v. 14 i. 2 p. 103 - 140
Evidential Diagnosis Of Inconsistencies In Object-Oriented Designs
by: George Spanoudakis, Kuriakos Kasis, Flora Dragazi v. 14 i. 2 p. 141 - 178
The Dynamical Models For Software Technology Transition
by: Luqi, Lin Zhang, Michael Saboe v. 14 i. 2 p. 179 - 205
Design Level Hypothesis Testing Through Reverse Engineering Of Object-Oriented Software
by: Steve Counsell, Peter Newson, Emilia Mendes v. 14 i. 2 p. 207 - 220
A Domain Analysis And Modeling Methodology For Component Development
by: Eun Sook Cho, Soo Dong Kim, Sung Yul Rhew v. 14 i. 2 p. 221 - 254
Redesigning Legacy Systems Into The Object-Oriented Paradigm
by: W. Eric Wong, Jenny Li v. 14 i. 3 p. 255 - 276
Design Of Object Model Reuse System By Cbr In System Analysis
by: Young Jun Kim, Chung Tae Kim v. 14 i. 3 p. 277 - 290
Association-Based Information Flow Control In Object-Oriented Systems
by: Shih-Chien Chou, Ying-Kai Wen v. 14 i. 3 p. 291 - 322
An Ontology For The Management Of Software Maintenance Projects
by: Francisco Ruiz, Aurora Vizcaíno Barceló, Mario Piattini, Félix García v. 14 i. 3 p. 323 - 349
What Will Affect Software Reuse: A Causal Model Analysis
by: Gang Li, Honghua Dai v. 14 i. 3 p. 351 - 364
Guest Editors' Introduction
by: Honghua Dai, Geoff Webb v. 14 i. 4 p. 365 - 368
Using Data Mining For Automated Software Testing
by: Mark Last, Menahem Friedman, Abraham Kandel v. 14 i. 4 p. 369 - 393
Software Warehouse: Its Design, Management And Application
by: Honghua Dai, Wei Dai, Gang Li v. 14 i. 4 p. 395 - 406
Data Mining For Validation In Software Engineering: An Example
by: Mira Kajko-Mattsson, Ned Chapin v. 14 i. 4 p. 407 - 427
Application Of Clustering Techniques To Software Component Architecture Design
by: Shu-Chuan Lo, Jia-Hui Chang v. 14 i. 4 p. 429 - 439
Identifying Software Component Association With Genetic Algorithm
by: Xiaowei Yan, Chengqi Zhang, Shichao Zhang v. 14 i. 4 p. 441 - 447
Expressing Product Diversification -- Categorizing And Classifying Variability In Software Product Family Engineering
by: Michel Jaring, Jan Bosch v. 14 i. 5 p. 449 - 470
Constraint Propagation And Progressive Verification For Component-Based Process Model
by: Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai v. 14 i. 5 p. 471 - 496
An Rpcl-Based Indexing Approach For Software Component Classification
by: Sathit Nakkrasae, Peraphon Sophatsathit v. 14 i. 5 p. 497 - 518
Intelligent Semantic Concept Mapping For Semantic Query Rewriting/Optimization In Ontology-Based Information Integration System
by: Juhum Kwon, Dongwon Jeong, Lee-Sub Lee, Doo-Kwon Baik v. 14 i. 5 p. 519 - 542
Guest Editors' Introduction
by: Gregor Engels, Stefan Sauer v. 14 i. 6 p. 543 - 544
Hsgs: An Interactive System For High-Level Specification And Generation Of Hypermedia Presentations
by: Elisa Bertino, Pietro Mazzoleni, D. Santi v. 14 i. 6 p. 545 - 564
Conceptualization, Prototyping And Process Of Hypermedia Applications
by: Antonio Navarro, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, José Luis Sierra v. 14 i. 6 p. 565 - 602
From Knowledge Modeling To Ontology Construction
by: Christine W. Chan v. 14 i. 6 p. 603 - 624
Language-Driven System Design
by: Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse v. 14 i. 6 p. 625 - 663
Data Mining For The Management Of Software Development Process
by: José Luis Álvarez Macías, Jacinto Mata Vázquez, José Cristóbal Riquelme Santos v. 14 i. 6 p. 665 - 695

2003

Visualizing Animation Databases
by: Akanksha, Zhiyong Huang, B. Prabhakaran, Conrado R. Ruiz Jr. v. 13 i. 1 p. 1 - 25
On-Line Visualization and Navigation of the Global Web Structure
by: Mao Lin Huang, Peter Eades, Wei Lai v. 13 i. 1 p. 27 - 52
Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse
by: Z. Jin, David A. Bell, F. George Wilkie, D. G. Leahy v. 13 i. 1 p. 53 - 82
A Visual System Supporting Software Reuse in the Banking Legacy System Context
by: Gennaro Costagliola, Rita Francese, Giuseppe Scanniello v. 13 i. 1 p. 83 - 101
Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets
by: Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen v. 13 i. 1 p. 103 - 124
Softarch: Tool Support for Integrated Software Architecture Development
by: John C. Grundy, John G. Hosking v. 13 i. 2 p. 125 - 151
A Business Process Centered Software Analysis Method
by: Jing zhou Li, R. Brien Maguire, Yiyu Yao v. 13 i. 2 p. 153 - 168
A Tool for Creating Design Models from Web Site Code
by: Laila Paganelli, Fabio Paternò v. 13 i. 2 p. 169 - 189
A Layered Metamodel for Hierarchical Modeling in UML
by: Chee-Yang Song, Doo-Kwon Baik v. 13 i. 2 p. 191 - 214
Etifis: An Innovative e-Forecasting Web Application
by: Eleni Tavanidou, Konstantinos Nikolopoulos, Kostas S. Metaxiotis, V. Assimakopoulos v. 13 i. 2 p. 215 - 236
An XML Definition Language to Support Scenario-Based Requirements Engineering
by: Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice v. 13 i. 3 p. 237 - 256
Concurrent Data Materialization for Object-Relational Database with Semantic Metadata
by: Joseph Fong, Ringo Pang, Anthony S. Fong, Francis Pang, Kenny Poon v. 13 i. 3 p. 257 - 291
Knowledge and Case-Based Reasoning for Customization of Software Processes - A Hybrid Approach
by: Yu Whoan Ahn, Hyung Jun Ahn, Sung Joo Park v. 13 i. 3 p. 293 - 312
Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions
by: Allaoua Maamir, Abdelaziz Fellah v. 13 i. 3 p. 313 - 325
Apply Market Mechanism to Agent-Based Grid Resource Management
by: Li Chunlin, Zhengding Lu, Li Layuan v. 13 i. 3 p. 327 - 340
Guest Editors' Introduction
by: Filomena Ferrucci, Giuliana Vitiello v. 13 i. 4 p. 341 - 343
Trade-off Analysis for Requirements Selection
by: Günther Ruhe, Armin Eberlein, Dietmar Pfahl v. 13 i. 4 p. 345 - 366
The Role of Middleware in Architecture-Based Software Development
by: Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor v. 13 i. 4 p. 367 - 393
Towards Industrially Relevant Fault-Proneness Models
by: Giovanni Denaro, Mauro Pezzè, Sandro Morasca v. 13 i. 4 p. 395 - 417
Template-Based Generation of Multimedia Presentations
by: Augusto Celentano, Ombretta Gaggi v. 13 i. 4 p. 419 - 445
A Service Architecture for Mobile Teamwork
by: Engin Kirda, Harald Gall v. 13 i. 4 p. 447 - 467
Guest Editor's Introduction
by: Günther Ruhe v. 13 i. 5 p. 469 - 472
Investigating Conflicts in Cots Decision-Making
by: Carina Alves, Anthony Finkelstein v. 13 i. 5 p. 473 - 493
Software Product and Process Assessment through Profile-Based Evaluation
by: Maurizio Morisio, Ioannis Stamelos, Alexis Tsoukiàs v. 13 i. 5 p. 495 - 512
Supporting Software Process Decisions Using Bi-Directional Simulation
by: David Raffo, Siri-on Setamanit v. 13 i. 5 p. 513 - 530
Supporting Decision-Making in Software Engineering with Process Simulation and Empirical Studies
by: Ioana Rus, Michael Halling, Stefan Biffl v. 13 i. 5 p. 531 - 545
A Quality-Driven Decision-Support Method for Identifying Software Architecture Candidates
by: Mikael Svahnberg, Claes Wohlin, Lars Lundberg, Michael Mattsson v. 13 i. 5 p. 547 - 573
Guest Editor'S Introduction
by: Yi-Ping Phoebe Chen v. 13 i. 6 p. 575 - 577
Model-Based Clustering In Gene Expression Microarrays: An Application To Breast Cancer Data
by: J. C. Mar, Geoffrey J. McLachlan v. 13 i. 6 p. 579 - 592
Data Mining For Gene Expression Profiles From Dna Microarray
by: Sung-Bae Cho, Hong-Hee Won v. 13 i. 6 p. 593 - 608
A Tool For Analyzing Magnetoencephalography-Data Based On Different Artificial Neural Networks
by: M. Borschbach, Wolfram-Manfred Lippe, S. Niendiek v. 13 i. 6 p. 609 - 626
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification
by: Juan Carlos Augusto, Rodolfo Gómez v. 13 i. 6 p. 627 - 654
Towards The Algebraic Analysis Of Hyperlink Structures
by: Alexander Fronk v. 13 i. 6 p. 655 - 684

2002

Binary Encoding of Discernibility Patterns to Find Minimal Coverings
by: R. Félix, T. Ushio v. 12 i. 1 p. 1 - 18
Use Case Patterns
by: Liwu Li v. 12 i. 1 p. 19 - 40
A Compositional Knowledge Level Process Model of Requirements Engineering
by: Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards v. 12 i. 1 p. 41 - 75
Evaluating Theories for Managing Imperfect Knowledge in Human-Centric Database Reengineering Environments
by: Jens H. Jahnke, Andrew Walenstein v. 12 i. 1 p. 77 - 102
Guest Editors' Introduction: Special Issue on Embedded Software Engineering
by: Yi Deng, Farokh B. Bastani v. 12 i. 2 p. 103 - 105
Component-Based Embedded Software Engineering: Development Framework, Quality Assurance and a Generic Assessment Environment
by: Xia Cai, Michael R. Lyu, Kam-Fai Wong v. 12 i. 2 p. 107 - 133
Development of Wireless Embedded Systems Using Component Based Software
by: Stephen J. H. Yang, Jeffrey J. P. Tsai, Irene Chen v. 12 i. 2 p. 135 - 153
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT
by: Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy v. 12 i. 2 p. 155 - 174
Automated Generation of Test Trajectories for Embedded Flight Control Systems
by: Bojan Cukic, Brian J. Taylor, Harhsinder Singh v. 12 i. 2 p. 175 - 200
Predicting Fault-Prone Modules in Embedded Systems Using Analogy-Based Classification Models
by: Taghi M. Khoshgoftaar, Bojan Cukic, Naeem Seliya v. 12 i. 2 p. 201 - 221
A Software Test and Evaluation Environment Based on Longitudinal Database
by: S. Ohara, F. Tsunoda, H. Maezawa, Akira K. Onoma, M. Hui, Taehyung Wang, Phillip C.-Y. Sheu, Ray J. Paul v. 12 i. 3 p. 223 - 244
A Formal Framework to Support Workflow Adaptation
by: Siu Liu, Angela Goh v. 12 i. 3 p. 245 - 268
Test Agent System
by: Jeongeun Choi, Byoungju Choi v. 12 i. 3 p. 269 - 290
Association Analysis of Software Measures
by: Witold Pedrycz, Giancarlo Succi, M. G. Chun v. 12 i. 3 p. 291 - 316
A Feature-Oriented Copyright Owner Proving Technique for Still Images
by: Chin-Chen Chang, Kuo-Feng Hwang, Min-Shiang Hwang v. 12 i. 3 p. 317
A Hierarchical Measurement Framework for the Evaluation of Automated Business Processes
by: Rossella Aiello, Antonio Esposito, Giancarlo Nota v. 12 i. 4 p. 331 - 362
An Object-Based Approach to Managing Domain Specific Thesauri: Semiautomatic Thesaurus Construction and Query-Based Browsing
by: Jae Hun Choi, Jae Dong Yang, Dong Gill Lee v. 12 i. 4 p. 363 - 390
A Survey of Case Studies of the Use of Knowledge Management in Software Engineering
by: Torgeir Dingsøyr, Reidar Conradi v. 12 i. 4 p. 391 - 414
Relational Deductive Object-Oriented Modeling (RDOOM) Approach for Finding, Representing and Integrating Application-Specific Concepts
by: Timo Niemi, Marko Junkkari, Kalervo Järvelin v. 12 i. 4 p. 415 - 452
Component Contract-Based Interface Specification Technique Using Z
by: Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang v. 12 i. 4 p. 453
A Multimedia Model Based on Structured Media and Sub-Elements for Complex Multimedia Authoring and Presentation
by: Tran-Thuong Tien, Cécile Roisin v. 12 i. 5 p. 473 - 500
HEAT: Hierarchical Entropy Approach for Texture Indexing in Image Databases
by: Riccardo Distasi, Michele Nappi, Sergio Vitulano v. 12 i. 5 p. 501 - 522
A Methodology for Modeling Multimedia Databases
by: Gennaro Costagliola, Rita Francese, Annamaria Musto, Giuseppe Polese v. 12 i. 5 p. 523
ProActNet: Modeling Processes Through Activity Networks
by: Shih-Chien Chou v. 12 i. 5 p. 545 - 580
A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques
by: Amir A. Khwaja, Joseph E. Urban v. 12 i. 5 p. 581
Supporting Agent-Oriented Modelling with UML
by: Federico Bergenti, Agostino Poggi v. 12 i. 6 p. 605 - 618
A Methodology for Modeling Interactions in Cooperative Information Systems Using Coloured Petri Nets
by: Fernando Ramos-Quintana, Juan Frausto Solís, Francisco Camargo-Santacruz v. 12 i. 6 p. 619 - 636
Defect Detection for Executable Specifications - An Experiment
by: Frank Houdek, Thilo Schwinn, Dietmar Ernst v. 12 i. 6 p. 637 - 656
What Information is Relevant When Selecting Software Testing Techniques?
by: Sira Vegas, Natalia Juristo Juzgado, Victor R. Basili v. 12 i. 6 p. 657 - 674
Bayesian-Learning Based Guidelines to Determine Equivalent Mutants
by: Auri Marcelo Rizzo Vincenzi, Elisa Yumi Nakagawa, José Carlos Maldonado, Márcio Eduardo Delamaro, Oseli Aparecida Francelin Romero v. 12 i. 6 p. 675 - 690
Automatic Test Data Generation for Program Paths Using Genetic Algorithms
by: Paulo Marcos Siqueira Bueno, Mario Jino v. 12 i. 6 p. 691 - 710

2001

Internet Multimedia Computing - Guest Editors' Introduction
by: Nikolay N. Mirenkov, Alexander Vazhenin, Jianhua Ma v. 11 i. 1 p. 1 - 3
Self-Explanatory Components: A New Programming Paradigm
by: Nikolay N. Mirenkov, Alexander Vazhenin, Rentaro Yoshioka, Tetkasa Ebihara, Tsusuya Hirotomi, Tatiana Mirenkova v. 11 i. 1 p. 5 - 36
Towards a Natural Internet-Based Collaborative Environment with Support of Object Physical and Social Characteristics
by: Jianhua Ma, Runhe Huang, Ryouhei Nakatani v. 11 i. 1 p. 37 - 53
EVCS - A Complete Electronic Virtual Conference System
by: Timothy K. Shih, Jiung-Yao Huang, Jason C. Hung v. 11 i. 1 p. 55 - 81
Middleware for Building Adaptive Migratory Continuous Media Applications
by: Tatsuo Nakajima, Hiroyuki Aizu v. 11 i. 1 p. 83 - 107
Quality Software - Guest Editor's Introduction
by: T. H. Tse v. 11 i. 2 p. 109 - 112
A Study on a Path-based Strategy for Selecting Black-box Generated Test Cases
by: Yuen-Tak Yu, Sau-Fun Tang, Pak-Lok Poon, Tsong Yueh Chen v. 11 i. 2 p. 113 - 138
A Constraint Solver and Its Application to Path Feasibility Analysis
by: Jian Zhang, Xiaoxu Wang v. 11 i. 2 p. 139 - 156
An Object-based Data Flow Testing Approach for Web Applications
by: Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu v. 11 i. 2 p. 157 - 179
Component-based Verification in a Synchronous Setting
by: Agathe Merceron, G. Michele Pinna v. 11 i. 2 p. 181 - 203
Agent-Based Software Engineering - Guest Editors' Introduction
by: Paolo Ciancarini, Michael Wooldridge v. 11 i. 3 p. 205 - 206
Agent UML: A Formalism for Specifying Multiagent Software Systems
by: Bernhard Bauer, Jörg P. Müller, James Odell v. 11 i. 3 p. 207 - 230
Multiagent Systems Engineering
by: Scott A. DeLoach, Mark F. Wood, Clint H. Sparkman v. 11 i. 3 p. 231 - 258
Interaction-Oriented Software Development
by: Michael N. Huhns v. 11 i. 3 p. 259 - 279
Roles in Agent-Oriented Modeling
by: Ralph Depke, Reiko Heckel, Jochen Malte Küster v. 11 i. 3 p. 281 - 302
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
by: Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge v. 11 i. 3 p. 303 - 328
Translating OODB Method to RDB Routine
by: Joseph Fong, San Kuen Cheung v. 11 i. 3 p. 329 - 355
Incremental Scenario Modeling Using Hierarchical Object-Oriented Petri Net
by: Jang-Eui Hong, Doo-Hwan Bae v. 11 i. 3 p. 357 - 386
Software Architecture - Guest Editors' Introduction
by: Rick Kazman v. 11 i. 4 p. 387 - 387
Malleable Services
by: Venu Vasudevan, Sean Landis v. 11 i. 4 p. 389 - 406
Software Resource Architecture
by: C. Murray Woodside v. 11 i. 4 p. 407 - 429
Architecture-Level Dependence Analysis for Software Systems
by: Judith A. Stafford, Alexander L. Wolf v. 11 i. 4 p. 431 - 451
Viewpoints on Modifiability
by: Nico H. Lassing, Daan B. B. Rijsenbrij, Johannes C. van Vliet v. 11 i. 4 p. 453 - 478
Applying Case-Based Reasoning to Support Dynamic Framework Documentation
by: Mercedes Gómez-Albarrán, Pedro A. González-Calero v. 11 i. 4 p. 479 - 502
Guest Editors' Introduction: Agentization and Coordination
by: Huaglory Tianfield v. 11 i. 5 p. 503 - 507
A Dynamic Inference Model for Intelligent Agents
by: Chunyan Miao, Angela Goh, Yuan Miao, Zhonghua Yang v. 11 i. 5 p. 509 - 528
SLABS: A Formal Specification Language for Agent-Based Systems
by: Hong Zhu v. 11 i. 5 p. 529 - 558
Deliberative Evolution in Multi-Agent Systems
by: Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards v. 11 i. 5 p. 559 - 581
A Quantitative and Qualitative Comparison of Distributed Information Processing Using Mobile Agents Realised in RMI and Voyager
by: Patrick Cogan, Jacek Gomoluch, Michael Schroeder v. 11 i. 5 p. 583 - 605
An Optimistic Third Party Protocol to Protect a Mobile Agent's Binary Code
by: Dirk Westhoff v. 11 i. 5 p. 607 - 619
High Performance Service Discovery in Large-Scale Multi-Agent and Mobile-Agent Systems
by: Junwei Cao, Darren J. Kerbyson, Graham R. Nudd v. 11 i. 5 p. 621 - 641
Formalization of Object Behavior and Interactions from UML Models
by: John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu v. 11 i. 6 p. 643 - 673
Towards a Unified Version Model Using the Resource Description Framework (RDF)
by: Supanat Kitcharoensakkul, Vilas Wuwongse v. 11 i. 6 p. 675 - 701
A Metric-Based Approach for Predicting Conceptual Data Models Maintainability
by: Mario Piattini, Marcela Genero, Luis Jiménez v. 11 i. 6 p. 703 - 729
Preventing Mismatch of Homogeneous Components in the Design of Software Architecture
by: Ratko Orlandic, John L. Pfaltz v. 11 i. 6 p. 731 - 759
Processes and Products in a Multi-Level Metamodeling Architecture
by: Colin Atkinson, Thomas Kühne v. 11 i. 6 p. 761 - 783

2000

Guest Editors' Introduction - Best Papers from SEKE'98
by: Mark Gerken, Yi Deng v. 10 i. 1 p. 1 - 4
Formalizing the Functional Model within Object-Oriented Design
by: Enoch Y. Wang, Betty H. C. Cheng v. 10 i. 1 p. 5 - 30
Planning Support to Software Process Evolution
by: Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, Chunnian Liu v. 10 i. 1 p. 31 - 47
Formal Support for an Informal Business Modelling Method
by: Yun-Heh Chen-Burger, David Robertson, Jussi Stader v. 10 i. 1 p. 49 - 68
Specification of Software Architecture
by: Mark J. Gerken v. 10 i. 1 p. 69 - 95
An Approach to Quantitative Software Architecture Sensitivity Analysis
by: Chung-Horng Lung, Kalai Kalaichelvan v. 10 i. 1 p. 97 - 114
Using Fuzzy Reasoning to Support Automated Program Understanding
by: Ilene Burnstein, Floyd Saner v. 10 i. 1 p. 115 - 137
Verifying Requirements Through Mathematical Modelling and Animation
by: K. Ganesan, Taghi M. Khoshgoftaar, Edward B. Allen v. 10 i. 2 p. 139 - 152
Creating Tools in a Software Environment Based on Graph Rewriting Rules
by: Andrea De Lucia, Genoveffa Tortora, Maurizio Tucci v. 10 i. 2 p. 153 - 183
Test Scenario Generation Based on Formal Specification and Usage Profile
by: Kai H. Chang, Shih-Sung Liao, Richard Chapman, Chun-Yu Chen v. 10 i. 2 p. 185 - 201
Constructing Flow-Based Tools with Generative and Compositional Techniques
by: Ji-Tzay Yang, Feng-Jian Wang, William C. Chu, Chung-Hua Hu v. 10 i. 2 p. 203 - 226
From Software Reuse to Database Reuse
by: Csaba J. Egyhazy v. 10 i. 2 p. 227 - 249
Verifying Requirements Through Mathematical Modelling and Animation
by: Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff v. 10 i. 2 p. 251 - 273
Integrated Software Engineering and Knowledge Engineering Teaching Experiences
by: Óscar Dieste Tubío, Natalia Juristo Juzgado, Ana María Moreno, Marta López v. 10 i. 3 p. 275 - 300
Knowledge Engineering of a Monitoring and Control Decision Support System
by: Christine W. Chan, Weerapong Kritpiphat, Paitoon Tontiwachwuthikul v. 10 i. 3 p. 301 - 318
Supporting Distributed Individual Tasks in Cooperative Specification Development
by: Motoshi Saeki, Saeeiab Sureerat, Akihiro Tanaka v. 10 i. 3 p. 319 - 344
Distributed Information and Control in a Concurrent Hypermedia-Oriented Architecture
by: Antonina Dattolo, Vincenzo Loia v. 10 i. 3 p. 345 - 369

1999

An Incremental Object-Oriented Migration Strategy for RPG Legacy Systems
by: Gerardo Canfora, Andrea De Lucia, Giuseppe A. Di Lucca v. 9 i. 1 p. 5 - 26
A Framework for Object-Oriented Reverse Engineering of Legacy Information Systems
by: Ulrike Kölsch, Jürgen Laschewski v. 9 i. 1 p. 27 - 54
Using the Web for Software Annotations
by: Vaclav Rajlich, Srikant Varadarajan v. 9 i. 1 p. 55 - 72
An Approach to Automated Building of Software System Configurations
by: Mária Bieliková, Pavol Návrat v. 9 i. 1 p. 73 - 96
Protocol Specification Design Using an Object-Based Petri Net Formalism
by: Vladimir P. Sliva, Tadao Murata, Sol M. Shatz v. 9 i. 1 p. 97 - 126
An Automated Tool (IDAF) to Manipulate Interaction Diagrams and Fragmentations for Multi-Agent Systems
by: Chi Keen Low, Ralph Rönnquist, Tsong Yueh Chen v. 9 i. 1 p. 127
Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools
by: Carol L. Hoover, Pradeep K. Khosla v. 9 i. 2 p. 153 - 172
A Firewalling Scheme for Securing MPOA-Based Enterprise Networks
by: Jun Xu, Mukesh Singhal v. 9 i. 2 p. 173 - 180
The Design and Implementation of a Customizable Fault Tolerance Framework
by: I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu v. 9 i. 2 p. 181 - 202
An Incremental Verification Algorithm for Real-Time Systems
by: Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla v. 9 i. 2 p. 203 - 216
Using Classification Trees for Software Quality Models: Lessons Learned
by: Taghi M. Khoshgoftaar, Edward B. Allen, Archana Naik, Wendell D. Jones, John P. Hudepohl v. 9 i. 2 p. 217 - 232
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic
by: Stephen J. H. Yang, William C. Chu, Jonathan Lee v. 9 i. 2 p. 233 - 250
Real-Time Object-Oriented Distributed Software Engineering and the TMO Scheme
by: K. H. Kim v. 9 i. 2 p. 251
SOORLS: A Software Reuse Approach on the Web
by: Sung-Koo Lee, Joseph E. Urban v. 9 i. 3 p. 279 - 296
Reusable Knowledge-Based Components for Building Software Applications: A Knowledge Modelling Approach
by: Martín Molina, José Luis Sierra, José Cuena v. 9 i. 3 p. 297 - 318
Knowledge and Experience Reuse Through Communication Among Competent (Peer) Agents
by: Francisco J. Martín, Enric Plaza, Josep Lluís Arcos v. 9 i. 3 p. 319 - 342
Advanced Conceptual Clustering and Associated Querying Facilities in Object-Oriented Databases
by: Chi-Wai Fung, Qing Li v. 9 i. 3 p. 343 - 368
A Frame Model Approach for Expert and Database System Integration
by: Joseph Fong, Shi-Ming Huang v. 9 i. 3 p. 369
Visual Programming for Message-Passing Systems
by: Nenad Stankovic, Kang Zhang v. 9 i. 4 p. 397 - 424
Visual Specification and Monitoring of Software Agents in Decentralized Process-Centred Environments
by: John C. Grundy v. 9 i. 4 p. 425 - 444
Genereation of Object-Oriented Software Process Using Milestones
by: Noriko Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, Koji Torii v. 9 i. 4 p. 445 - 466
Grammatical Inference for the Automatic Generation of Visual Languages
by: Filomena Ferrucci, Giuliana Vitiello v. 9 i. 4 p. 467
Mining for Program Structure
by: Renée J. Miller, Ashish Gujarathi v. 9 i. 5 p. 499 - 518
Automatically Exploring Hypotheses About Fault Prediction: A Comparative Study of Inductive Logic Programming Methods
by: William W. Cohen, Premkumar T. Devanbu v. 9 i. 5 p. 519 - 546
Data Mining for Predictors of Software Quality
by: Taghi M. Khoshgoftaar, Edward B. Allen, Wendell D. Jones, John P. Hudepohl v. 9 i. 5 p. 547 - 564
An Investigation on the Use of Machine Learned Models for Estimating Software Correctability
by: Mauricio Amaral de Almeida, Hakim Lounis, Walcélio L. Melo v. 9 i. 5 p. 565 - 594
Empirical Investigation of Innovation Diffusion in a Software Process
by: Maria Tortorella, Giuseppe Visaggio v. 9 i. 5 p. 595
Maintaining Shared Workspaces Consistency during Software Development
by: Hala Skaf, François Charoy, Claude Godart v. 9 i. 5 p. 623 - 642
Adding Form to Real-Time System Specification and Simulation
by: Ji Y. Lee, Kyo Chul Kang, Gerard Jounghyun Kim, Hye J. Kim v. 9 i. 5 p. 643 - 662
Process Model Applicable to Software Engineering and Knowledge Engineering
by: Silvia Teresita Acuña, Marta López, Natalia Juristo Juzgado, Ana María Moreno v. 9 i. 5 p. 663
Engineering via Discourse: Content Structure as an Essential Component for Multimedia Documents
by: Stephen J. Morris, Anthony Finkelstein v. 9 i. 6 p. 691 - 724
Situation-Dependent Metaphor for Personal Multimedia Information
by: K. Priyantha Hewagamage, Masahito Hirakawa, Tadao Ichikawa v. 9 i. 6 p. 725 - 744
Designing Hypermedia Applications with Objects and Patterns
by: Gustavo Rossi, Daniel Schwabe, Fernando Lyardet v. 9 i. 6 p. 745 - 766
Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language
by: Kuang Xu, Jeffrey J. P. Tsai v. 9 i. 6 p. 767 - 800
Industry Practices in Project Management for Multimedia Information Systems
by: Stephen G. MacDonell, Tim Fletcher, William B. L. Wong v. 9 i. 6 p. 801 - 816

1998

Guest Editors' Introduction
by: Daniel E. Cooke, Joseph E. Urban v. 8 i. 1 p. 1 - 2
An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software
by: C. Chandra, C. V. Ramamoorthy v. 8 i. 1 p. 3 - 20
The Design of an Expert System for Domain Knowledge Engineering and Decision Making: A Case Study in the Criminal Justice System
by: Owusu-Ansah Agyapong, Patrick O. Bobbie v. 8 i. 1 p. 21 - 33
REINAS: A Real-Time System for Managing Environmental Data
by: Eric C. Rosen, Theodore R. Haining, Darrell D. E. Long, Patrick E. Mantey, Craig M. Wittenbrink v. 8 i. 1 p. 35 - 53
Distributed Systems Management Software-in-the-Loop
by: Bernd J. Krämer, Thomas Koch v. 8 i. 1 p. 55 - 76
Scientific Data Mining: A Case Study
by: Chia-Yo Chang, Jason Tsong-Li Wang, Roger K. Chang v. 8 i. 1 p. 77 - 96
A Fast 3-D Visualization Methodology Using Characteristic Views of Objects
by: Soochan Hwang, Sang-Young Cho, Taehyung Wang, Phillip C.-Y. Sheu v. 8 i. 1 p. 97 - 114
A Large Memory Storage and Retrieval Neural Network for Adaptive Retrieval and Diagnosis
by: Daniel Graupe, Hubert Kordylewski v. 8 i. 1 p. 115 - 138
An Active Multimedia Information System for Information Retrieval, Discovery and Fusion
by: Shi-Kuo Chang, Daniel Graupe, Keiko Hasegawa, Hubert Kordylewski v. 8 i. 1 p. 139 - 160
Metrics for Concept-Oriented Knowledge Bases
by: Timothy Lethbridge v. 8 i. 2 p. 161 - 188
Deriving Identity from Extensionality
by: Arthur H. M. ter Hofstede, Theo P. van der Weide v. 8 i. 2 p. 189 - 221
Task Analysis and Design Plans in Formal Specification Design
by: Perry Alexander v. 8 i. 2 p. 223 - 252
A Formal Definition of FRSM and Applications
by: Shaoying Liu v. 8 i. 2 p. 253 - 281
A Formal Methodology for Analyzing Tradeoffs of Imprecise Requirements
by: John Yen, W. Amos Tiao v. 8 i. 2 p. 283 - 311
Guest Editors' Introduction
by: Phillip C.-Y. Sheu, Moon-hae Kim v. 8 i. 3 p. 313 - 313
A Quality of Service Framework for Object-Oriented Architectures
by: Bran Selic v. 8 i. 3 p. 315 - 331
An Approach for Adaptive Fault Tolerance in Object-Oriented Open Distributed Systems
by: Eltefaat Shokri, Herbert Hecht, Patrick Crane, Jerry Dussault, K. H. Kim v. 8 i. 3 p. 333 - 346
Incremental Verification of Architecture Specification Language for Real-Time Systems
by: Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Ray J. Paul v. 8 i. 3 p. 347 - 360
Sequence Specification for Concurrent Object-Oriented Applications
by: Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai v. 8 i. 3 p. 361 - 383
The Role of Nonmonotonic Representations in Requirements Engineering
by: Grigoris Antoniou v. 8 i. 3 p. 385 - 399
Matching Single-Sort Algebraic Specifications for Software Reuse
by: Rui Gustavo Crespo v. 8 i. 3 p. 401 - 425
Guest Editor's Introduction
by: Natalia Juristo Juzgado v. 8 i. 4 p. 427 - 434
Enhancing CASE Environments by Using Linguistics
by: J. F. M. Burg, Reind P. van de Riet v. 8 i. 4 p. 435 - 448
Results of the Application of a Linguistic Approach to Object-Oriented Analysis
by: Ana María Moreno v. 8 i. 4 p. 449 - 459
Organizing the Software Development Process Knowledge: An Approach Based on Patterns
by: Francisco M. de Vasconcelos Jr., Cláudia Maria Lima Werner v. 8 i. 4 p. 461 - 482
Software Configuration Management for a Reusable Software Library within a Software Maintenance Environment
by: Oh-Cheon Kwon, Cornelia Boldyreff, Malcolm Munro v. 8 i. 4 p. 483 - 515
ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design
by: Spiros Mancoridis v. 8 i. 4 p. 517 - 540
An Object-Oriented Design Complexity Metric Based on Inheritance Relationships
by: Timothy K. Shih, Yule-Chyun Lin, Wen C. Pai, Chun-Chia Wang v. 8 i. 4 p. 541 - 566

1997

Formal Requirements and Design Specifications: The Clepsydra Methodology
by: Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo v. 7 i. 1 p. 1 - 42
Data Flow Analysis of System Specifications in Lotos
by: Hans van der Schoot, Hasan Ural v. 7 i. 1 p. 43 - 68
Writing and Analyzing System Specifications by Integrated Linguistic Tools
by: Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini v. 7 i. 1 p. 69 - 99
Specifying Active Database Systems in an Object-Oriented Framework
by: Jack Campin, Norman W. Paton, M. Howard Williams v. 7 i. 1 p. 101 - 123
Integration Object-Oriented Software Testing and Metrics
by: Chi-Ming Chung, Timothy K. Shih, Chun-Chia Wang, Ming-Chi Lee v. 7 i. 1 p. 125 - 144
Transforming an HCI Model to a Software Design Model
by: Andrew M. Olson v. 7 i. 1 p. 145 - 167
Guest Editors' Introduction
by: Giuseppe Visaggio v. 7 i. 2 p. 169 - 170
A New Framework for Improving Software Development Process on Small Computer Systems
by: Makoto Sakai, Ken-ichi Matsumoto, Koji Torii v. 7 i. 2 p. 171 - 184
Enriching Software Process Support by Knowledge-Based Techniques
by: Barbara Dellen, Frank Maurer, Jürgen Münch, Martin Verlage v. 7 i. 2 p. 185 - 215
Guest Editors' Introduction
v. 7 i. 2 p. 217 - 217
Method of Cumulative Sums and Problems of Optimal Control by Technological Processes
by: Vladimir V. Mazalov v. 7 i. 2 p. 219 - 229
Knowledge Aspects of Resource Allocation Problems with Saturation
by: A. P. Cherenkov v. 7 i. 2 p. 231 - 245
The Stabilization Problem for Certain Class of Ecological Systems
by: A. N. Kirillov v. 7 i. 2 p. 247 - 251
An Experience with the Use of Systems Engineer Case Tool
by: Mária Bieliková, Pavol Návrat v. 7 i. 2 p. 253 - 259
Guest Editors' Introduction
by: Phillip C.-Y. Sheu, Moon-hae Kim v. 7 i. 3 p. 261 - 262
Multimedia Technologies in Japan: General Status and Future Trends
by: Yukio Mizuno, Shiro Sakata, Sachio Watanabe v. 7 i. 3 p. 263 - 288
Knowledge-Assisted Retrieval of Spatiotemporal Content in Multimedia Databases
by: Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa v. 7 i. 3 p. 289 - 303
A Survey of Access Methods for Image Data
by: Chee Yong Chan, Louis-François Pau v. 7 i. 3 p. 305 - 319
An Efficient Conflict-Resolution Approach to Support Read/Write Operations in a Video Server
by: Chien-I Lee, Ye-In Chang, Wei-Pang Yang v. 7 i. 3 p. 321 - 349
A Framework for Multi-Agent Systems with Multi-Modal User Interfaces in Distributed Computing Environments
by: Sankyu Park, Key-Sun Choi, K. H. Kim v. 7 i. 3 p. 351 - 369
User Control and Dynamic Reorganization of Multimedia Presentations During Playout
by: Veli Hakkoymaz, Taieb Znati, Erdogan Dogdu v. 7 i. 3 p. 371 - 395
Guest Editors' Introduction
by: Gregor Engels, Hans Jürgen Schneider v. 7 i. 4 p. 397 - 400
Application of Graph Grammars in an Educational Software Engineering Game: A Case Study in Pragmatic Adoption
by: Kurt Schneider v. 7 i. 4 p. 401 - 429
Graph-Based Software Process Management
by: Peter Heimann, Carl-Arndt Krapp, Bernhard Westfechtel, Gregor Joeris v. 7 i. 4 p. 431 - 455
A Combined Reference Model- and View-Based Approach to System Specification
by: Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig v. 7 i. 4 p. 457 - 477
Nested Graph Transformation Units
by: Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr v. 7 i. 4 p. 479 - 502
A Formal Object Specification Technique Integrating Object and Functional Model
by: Annika Wagner v. 7 i. 4 p. 503 - 524
Generating an Algebraic Specification from an ER-Model
by: Ernst-Erich Doberkat v. 7 i. 4 p. 525 - 552
Managing Software Projects by Structured Project Planning
by: Aniello Cimitile, Giuseppe Visaggio v. 7 i. 4 p. 553 - 584

1991

From Software Engineering to Knowledge Engineering: The Shape of the Software Industry in the 1990s
by: Laszlo A. Belady v. 1 i. 1 p. 1 - 8
On Issues in Software Engineering and Artificial Intelligence
by: C. V. Ramamoorthy, Luis Miguel, Young-Chul Shim v. 1 i. 1 p. 9 - 20
On the Development of a Method to Synthesize Programs from Requirements Specifications
by: Daniel E. Cooke, Ann Q. Gates v. 1 i. 1 p. 21 - 38
Towards a Uniform Structured Representation for Application Generation
by: Bruce I. Blum v. 1 i. 1 p. 39 - 55
Access Control Strategies for Coordinating Teams of Software Engineers
by: Michael P. Stovsky, Bruce W. Weide v. 1 i. 1 p. 57 - 73
A Tool for Constructing Interactive Software
by: W. David Hurley v. 1 i. 1 p. 75 - 98
Computer Aided Software Engineering: Facilitating the Path for True Software and Knowledge Engineering
by: Michael L. Gibson, Charles A. Snyder v. 1 i. 1 p. 99 - 114
Fundamentals of Computing for Software Engineers
by: Eric S. Chan, Murat M. Tanik, Van Nostrand Reinhold v. 1 i. 1 p. 115 - 116