International Journal of Software Engineering and Knowledge Engineering
2005
- A Survey Of Xml Applications On Science And Technologyby: Zhongyu Lu v. 15 i. 1 p. 1 - 33
- Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformationby: 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 Protocolsby: Bo Chen, Samira Sadaoui v. 15 i. 1 p. 61 - 85
- Filmification Of Methods And An Example Of Its Applicationsby: Tsukasa Ebihara, Nikolay N. Mirenkov, Masaaki Nemoto, Rikio Nomoto v. 15 i. 1 p. 87 - 115
- Similarity Of Xml-Schema Elements Supported By Domain Ontologiesby: Anna Formica v. 15 i. 1 p. 117 - 130
- Guest Editor'S Introductionby: Kang Zhang v. 14 i. 1 p. 1 - 2
- Tagging Knowledge Acquisition Sessions To Facilitate Knowledge Traceabilityby: 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 Propositionsby: Oscar Mondragon, Ann Q. Gates v. 14 i. 1 p. 21 - 41
- A Systematic Design Method For High Quality Process-Control Systems Developmentby: Dongfeng Wang, Farokh B. Bastani, I-Ling Yen v. 14 i. 1 p. 43 - 59
- Coo-Flow: A Process Technology To Support Cooperative Processesby: Daniela Grigori, François Charoy, Claude Godart v. 14 i. 1 p. 61 - 78
- Peer-To-Peer Information Workspaces In Infotopby: 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 Modelby: Mathee Olarnsakul, Dentcho N. Batanov v. 14 i. 2 p. 103 - 140
- Evidential Diagnosis Of Inconsistencies In Object-Oriented Designsby: George Spanoudakis, Kuriakos Kasis, Flora Dragazi v. 14 i. 2 p. 141 - 178
- The Dynamical Models For Software Technology Transitionby: Luqi, Lin Zhang, Michael Saboe v. 14 i. 2 p. 179 - 205
- Design Level Hypothesis Testing Through Reverse Engineering Of Object-Oriented Softwareby: Steve Counsell, Peter Newson, Emilia Mendes v. 14 i. 2 p. 207 - 220
- A Domain Analysis And Modeling Methodology For Component Developmentby: Eun Sook Cho, Soo Dong Kim, Sung Yul Rhew v. 14 i. 2 p. 221 - 254
- Redesigning Legacy Systems Into The Object-Oriented Paradigmby: W. Eric Wong, Jenny Li v. 14 i. 3 p. 255 - 276
- Design Of Object Model Reuse System By Cbr In System Analysisby: Young Jun Kim, Chung Tae Kim v. 14 i. 3 p. 277 - 290
- Association-Based Information Flow Control In Object-Oriented Systemsby: Shih-Chien Chou, Ying-Kai Wen v. 14 i. 3 p. 291 - 322
- An Ontology For The Management Of Software Maintenance Projectsby: 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 Analysisby: Gang Li, Honghua Dai v. 14 i. 3 p. 351 - 364
- Guest Editors' Introductionby: Honghua Dai, Geoff Webb v. 14 i. 4 p. 365 - 368
- Using Data Mining For Automated Software Testingby: Mark Last, Menahem Friedman, Abraham Kandel v. 14 i. 4 p. 369 - 393
- Software Warehouse: Its Design, Management And Applicationby: Honghua Dai, Wei Dai, Gang Li v. 14 i. 4 p. 395 - 406
- Data Mining For Validation In Software Engineering: An Exampleby: Mira Kajko-Mattsson, Ned Chapin v. 14 i. 4 p. 407 - 427
- Application Of Clustering Techniques To Software Component Architecture Designby: Shu-Chuan Lo, Jia-Hui Chang v. 14 i. 4 p. 429 - 439
- Identifying Software Component Association With Genetic Algorithmby: Xiaowei Yan, Chengqi Zhang, Shichao Zhang v. 14 i. 4 p. 441 - 447
- Expressing Product Diversification -- Categorizing And Classifying Variability In Software Product Family Engineeringby: Michel Jaring, Jan Bosch v. 14 i. 5 p. 449 - 470
- Constraint Propagation And Progressive Verification For Component-Based Process Modelby: 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 Classificationby: 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 Systemby: Juhum Kwon, Dongwon Jeong, Lee-Sub Lee, Doo-Kwon Baik v. 14 i. 5 p. 519 - 542
- Guest Editors' Introductionby: Gregor Engels, Stefan Sauer v. 14 i. 6 p. 543 - 544
- Hsgs: An Interactive System For High-Level Specification And Generation Of Hypermedia Presentationsby: Elisa Bertino, Pietro Mazzoleni, D. Santi v. 14 i. 6 p. 545 - 564
- Conceptualization, Prototyping And Process Of Hypermedia Applicationsby: 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 Constructionby: Christine W. Chan v. 14 i. 6 p. 603 - 624
- Language-Driven System Designby: Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse v. 14 i. 6 p. 625 - 663
- Data Mining For The Management Of Software Development Processby: José Luis Álvarez Macías, Jacinto Mata Vázquez, José Cristóbal Riquelme Santos v. 14 i. 6 p. 665 - 695
- Visualizing Animation Databasesby: 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 Structureby: Mao Lin Huang, Peter Eades, Wei Lai v. 13 i. 1 p. 27 - 52
- Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuseby: 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 Contextby: Gennaro Costagliola, Rita Francese, Giuseppe Scanniello v. 13 i. 1 p. 83 - 101
- Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Netsby: Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen v. 13 i. 1 p. 103 - 124
- Softarch: Tool Support for Integrated Software Architecture Developmentby: John C. Grundy, John G. Hosking v. 13 i. 2 p. 125 - 151
- A Business Process Centered Software Analysis Methodby: Jing zhou Li, R. Brien Maguire, Yiyu Yao v. 13 i. 2 p. 153 - 168
- A Tool for Creating Design Models from Web Site Codeby: Laila Paganelli, Fabio Paternò v. 13 i. 2 p. 169 - 189
- A Layered Metamodel for Hierarchical Modeling in UMLby: Chee-Yang Song, Doo-Kwon Baik v. 13 i. 2 p. 191 - 214
- Etifis: An Innovative e-Forecasting Web Applicationby: 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 Engineeringby: 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 Metadataby: 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 Approachby: 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 Versionsby: Allaoua Maamir, Abdelaziz Fellah v. 13 i. 3 p. 313 - 325
- Apply Market Mechanism to Agent-Based Grid Resource Managementby: Li Chunlin, Zhengding Lu, Li Layuan v. 13 i. 3 p. 327 - 340
- Guest Editors' Introductionby: Filomena Ferrucci, Giuliana Vitiello v. 13 i. 4 p. 341 - 343
- Trade-off Analysis for Requirements Selectionby: Günther Ruhe, Armin Eberlein, Dietmar Pfahl v. 13 i. 4 p. 345 - 366
- The Role of Middleware in Architecture-Based Software Developmentby: Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor v. 13 i. 4 p. 367 - 393
- Towards Industrially Relevant Fault-Proneness Modelsby: Giovanni Denaro, Mauro Pezzè, Sandro Morasca v. 13 i. 4 p. 395 - 417
- Template-Based Generation of Multimedia Presentationsby: Augusto Celentano, Ombretta Gaggi v. 13 i. 4 p. 419 - 445
- A Service Architecture for Mobile Teamworkby: Engin Kirda, Harald Gall v. 13 i. 4 p. 447 - 467
- Guest Editor's Introductionby: Günther Ruhe v. 13 i. 5 p. 469 - 472
- Investigating Conflicts in Cots Decision-Makingby: Carina Alves, Anthony Finkelstein v. 13 i. 5 p. 473 - 493
- Software Product and Process Assessment through Profile-Based Evaluationby: Maurizio Morisio, Ioannis Stamelos, Alexis Tsoukiàs v. 13 i. 5 p. 495 - 512
- Supporting Software Process Decisions Using Bi-Directional Simulationby: David Raffo, Siri-on Setamanit v. 13 i. 5 p. 513 - 530
- Supporting Decision-Making in Software Engineering with Process Simulation and Empirical Studiesby: Ioana Rus, Michael Halling, Stefan Biffl v. 13 i. 5 p. 531 - 545
- A Quality-Driven Decision-Support Method for Identifying Software Architecture Candidatesby: Mikael Svahnberg, Claes Wohlin, Lars Lundberg, Michael Mattsson v. 13 i. 5 p. 547 - 573
- Guest Editor'S Introductionby: Yi-Ping Phoebe Chen v. 13 i. 6 p. 575 - 577
- Model-Based Clustering In Gene Expression Microarrays: An Application To Breast Cancer Databy: J. C. Mar, Geoffrey J. McLachlan v. 13 i. 6 p. 579 - 592
- Data Mining For Gene Expression Profiles From Dna Microarrayby: Sung-Bae Cho, Hong-Hee Won v. 13 i. 6 p. 593 - 608
- A Tool For Analyzing Magnetoencephalography-Data Based On Different Artificial Neural Networksby: 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 Verificationby: Juan Carlos Augusto, Rodolfo Gómez v. 13 i. 6 p. 627 - 654
- Towards The Algebraic Analysis Of Hyperlink Structuresby: Alexander Fronk v. 13 i. 6 p. 655 - 684
- Binary Encoding of Discernibility Patterns to Find Minimal Coveringsby: R. Félix, T. Ushio v. 12 i. 1 p. 1 - 18
- Use Case Patternsby: Liwu Li v. 12 i. 1 p. 19 - 40
- A Compositional Knowledge Level Process Model of Requirements Engineeringby: 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 Environmentsby: Jens H. Jahnke, Andrew Walenstein v. 12 i. 1 p. 77 - 102
- Guest Editors' Introduction: Special Issue on Embedded Software Engineeringby: 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 Environmentby: Xia Cai, Michael R. Lyu, Kam-Fai Wong v. 12 i. 2 p. 107 - 133
- Development of Wireless Embedded Systems Using Component Based Softwareby: 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-RTby: 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 Systemsby: 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 Modelsby: Taghi M. Khoshgoftaar, Bojan Cukic, Naeem Seliya v. 12 i. 2 p. 201 - 221
- A Software Test and Evaluation Environment Based on Longitudinal Databaseby: 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 Adaptationby: Siu Liu, Angela Goh v. 12 i. 3 p. 245 - 268
- Test Agent Systemby: Jeongeun Choi, Byoungju Choi v. 12 i. 3 p. 269 - 290
- Association Analysis of Software Measuresby: Witold Pedrycz, Giancarlo Succi, M. G. Chun v. 12 i. 3 p. 291 - 316
- A Feature-Oriented Copyright Owner Proving Technique for Still Imagesby: 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 Processesby: 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 Browsingby: 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 Engineeringby: 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 Conceptsby: Timo Niemi, Marko Junkkari, Kalervo Järvelin v. 12 i. 4 p. 415 - 452
- Component Contract-Based Interface Specification Technique Using Zby: 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 Presentationby: Tran-Thuong Tien, Cécile Roisin v. 12 i. 5 p. 473 - 500
- HEAT: Hierarchical Entropy Approach for Texture Indexing in Image Databasesby: Riccardo Distasi, Michele Nappi, Sergio Vitulano v. 12 i. 5 p. 501 - 522
- A Methodology for Modeling Multimedia Databasesby: Gennaro Costagliola, Rita Francese, Annamaria Musto, Giuseppe Polese v. 12 i. 5 p. 523
- ProActNet: Modeling Processes Through Activity Networksby: Shih-Chien Chou v. 12 i. 5 p. 545 - 580
- A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniquesby: Amir A. Khwaja, Joseph E. Urban v. 12 i. 5 p. 581
- Supporting Agent-Oriented Modelling with UMLby: Federico Bergenti, Agostino Poggi v. 12 i. 6 p. 605 - 618
- A Methodology for Modeling Interactions in Cooperative Information Systems Using Coloured Petri Netsby: Fernando Ramos-Quintana, Juan Frausto Solís, Francisco Camargo-Santacruz v. 12 i. 6 p. 619 - 636
- Defect Detection for Executable Specifications - An Experimentby: 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 Mutantsby: 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 Algorithmsby: Paulo Marcos Siqueira Bueno, Mario Jino v. 12 i. 6 p. 691 - 710
- Internet Multimedia Computing - Guest Editors' Introductionby: Nikolay N. Mirenkov, Alexander Vazhenin, Jianhua Ma v. 11 i. 1 p. 1 - 3
- Self-Explanatory Components: A New Programming Paradigmby: 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 Characteristicsby: Jianhua Ma, Runhe Huang, Ryouhei Nakatani v. 11 i. 1 p. 37 - 53
- EVCS - A Complete Electronic Virtual Conference Systemby: Timothy K. Shih, Jiung-Yao Huang, Jason C. Hung v. 11 i. 1 p. 55 - 81
- Middleware for Building Adaptive Migratory Continuous Media Applicationsby: Tatsuo Nakajima, Hiroyuki Aizu v. 11 i. 1 p. 83 - 107
- Quality Software - Guest Editor's Introductionby: T. H. Tse v. 11 i. 2 p. 109 - 112
- A Study on a Path-based Strategy for Selecting Black-box Generated Test Casesby: 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 Analysisby: Jian Zhang, Xiaoxu Wang v. 11 i. 2 p. 139 - 156
- An Object-based Data Flow Testing Approach for Web Applicationsby: Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu v. 11 i. 2 p. 157 - 179
- Component-based Verification in a Synchronous Settingby: Agathe Merceron, G. Michele Pinna v. 11 i. 2 p. 181 - 203
- Agent-Based Software Engineering - Guest Editors' Introductionby: Paolo Ciancarini, Michael Wooldridge v. 11 i. 3 p. 205 - 206
- Agent UML: A Formalism for Specifying Multiagent Software Systemsby: Bernhard Bauer, Jörg P. Müller, James Odell v. 11 i. 3 p. 207 - 230
- Multiagent Systems Engineeringby: Scott A. DeLoach, Mark F. Wood, Clint H. Sparkman v. 11 i. 3 p. 231 - 258
- Interaction-Oriented Software Developmentby: Michael N. Huhns v. 11 i. 3 p. 259 - 279
- Roles in Agent-Oriented Modelingby: 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 Systemsby: Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge v. 11 i. 3 p. 303 - 328
- Translating OODB Method to RDB Routineby: Joseph Fong, San Kuen Cheung v. 11 i. 3 p. 329 - 355
- Incremental Scenario Modeling Using Hierarchical Object-Oriented Petri Netby: Jang-Eui Hong, Doo-Hwan Bae v. 11 i. 3 p. 357 - 386
- Software Architecture - Guest Editors' Introductionby: Rick Kazman v. 11 i. 4 p. 387 - 387
- Malleable Servicesby: Venu Vasudevan, Sean Landis v. 11 i. 4 p. 389 - 406
- Software Resource Architectureby: C. Murray Woodside v. 11 i. 4 p. 407 - 429
- Architecture-Level Dependence Analysis for Software Systemsby: Judith A. Stafford, Alexander L. Wolf v. 11 i. 4 p. 431 - 451
- Viewpoints on Modifiabilityby: 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 Documentationby: Mercedes Gómez-Albarrán, Pedro A. González-Calero v. 11 i. 4 p. 479 - 502
- Guest Editors' Introduction: Agentization and Coordinationby: Huaglory Tianfield v. 11 i. 5 p. 503 - 507
- A Dynamic Inference Model for Intelligent Agentsby: Chunyan Miao, Angela Goh, Yuan Miao, Zhonghua Yang v. 11 i. 5 p. 509 - 528
- SLABS: A Formal Specification Language for Agent-Based Systemsby: Hong Zhu v. 11 i. 5 p. 529 - 558
- Deliberative Evolution in Multi-Agent Systemsby: 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 Voyagerby: 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 Codeby: Dirk Westhoff v. 11 i. 5 p. 607 - 619
- High Performance Service Discovery in Large-Scale Multi-Agent and Mobile-Agent Systemsby: Junwei Cao, Darren J. Kerbyson, Graham R. Nudd v. 11 i. 5 p. 621 - 641
- Formalization of Object Behavior and Interactions from UML Modelsby: 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 Maintainabilityby: Mario Piattini, Marcela Genero, Luis Jiménez v. 11 i. 6 p. 703 - 729
- Preventing Mismatch of Homogeneous Components in the Design of Software Architectureby: Ratko Orlandic, John L. Pfaltz v. 11 i. 6 p. 731 - 759
- Processes and Products in a Multi-Level Metamodeling Architectureby: Colin Atkinson, Thomas Kühne v. 11 i. 6 p. 761 - 783
- Guest Editors' Introduction - Best Papers from SEKE'98by: Mark Gerken, Yi Deng v. 10 i. 1 p. 1 - 4
- Formalizing the Functional Model within Object-Oriented Designby: Enoch Y. Wang, Betty H. C. Cheng v. 10 i. 1 p. 5 - 30
- Planning Support to Software Process Evolutionby: Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, Chunnian Liu v. 10 i. 1 p. 31 - 47
- Formal Support for an Informal Business Modelling Methodby: Yun-Heh Chen-Burger, David Robertson, Jussi Stader v. 10 i. 1 p. 49 - 68
- Specification of Software Architectureby: Mark J. Gerken v. 10 i. 1 p. 69 - 95
- An Approach to Quantitative Software Architecture Sensitivity Analysisby: Chung-Horng Lung, Kalai Kalaichelvan v. 10 i. 1 p. 97 - 114
- Using Fuzzy Reasoning to Support Automated Program Understandingby: Ilene Burnstein, Floyd Saner v. 10 i. 1 p. 115 - 137
- Verifying Requirements Through Mathematical Modelling and Animationby: 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 Rulesby: Andrea De Lucia, Genoveffa Tortora, Maurizio Tucci v. 10 i. 2 p. 153 - 183
- Test Scenario Generation Based on Formal Specification and Usage Profileby: 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 Techniquesby: Ji-Tzay Yang, Feng-Jian Wang, William C. Chu, Chung-Hua Hu v. 10 i. 2 p. 203 - 226
- From Software Reuse to Database Reuseby: Csaba J. Egyhazy v. 10 i. 2 p. 227 - 249
- Verifying Requirements Through Mathematical Modelling and Animationby: Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff v. 10 i. 2 p. 251 - 273
- Integrated Software Engineering and Knowledge Engineering Teaching Experiencesby: Ó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 Systemby: Christine W. Chan, Weerapong Kritpiphat, Paitoon Tontiwachwuthikul v. 10 i. 3 p. 301 - 318
- Supporting Distributed Individual Tasks in Cooperative Specification Developmentby: Motoshi Saeki, Saeeiab Sureerat, Akihiro Tanaka v. 10 i. 3 p. 319 - 344
- Distributed Information and Control in a Concurrent Hypermedia-Oriented Architectureby: Antonina Dattolo, Vincenzo Loia v. 10 i. 3 p. 345 - 369
- An Incremental Object-Oriented Migration Strategy for RPG Legacy Systemsby: 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 Systemsby: Ulrike Kölsch, Jürgen Laschewski v. 9 i. 1 p. 27 - 54
- Using the Web for Software Annotationsby: Vaclav Rajlich, Srikant Varadarajan v. 9 i. 1 p. 55 - 72
- An Approach to Automated Building of Software System Configurationsby: Mária Bieliková, Pavol Návrat v. 9 i. 1 p. 73 - 96
- Protocol Specification Design Using an Object-Based Petri Net Formalismby: 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 Systemsby: 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 Toolsby: Carol L. Hoover, Pradeep K. Khosla v. 9 i. 2 p. 153 - 172
- A Firewalling Scheme for Securing MPOA-Based Enterprise Networksby: Jun Xu, Mukesh Singhal v. 9 i. 2 p. 173 - 180
- The Design and Implementation of a Customizable Fault Tolerance Frameworkby: I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu v. 9 i. 2 p. 181 - 202
- An Incremental Verification Algorithm for Real-Time Systemsby: Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla v. 9 i. 2 p. 203 - 216
- Using Classification Trees for Software Quality Models: Lessons Learnedby: 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 Logicby: 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 Schemeby: K. H. Kim v. 9 i. 2 p. 251
- SOORLS: A Software Reuse Approach on the Webby: Sung-Koo Lee, Joseph E. Urban v. 9 i. 3 p. 279 - 296
- Reusable Knowledge-Based Components for Building Software Applications: A Knowledge Modelling Approachby: Martín Molina, José Luis Sierra, José Cuena v. 9 i. 3 p. 297 - 318
- Knowledge and Experience Reuse Through Communication Among Competent (Peer) Agentsby: 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 Databasesby: Chi-Wai Fung, Qing Li v. 9 i. 3 p. 343 - 368
- A Frame Model Approach for Expert and Database System Integrationby: Joseph Fong, Shi-Ming Huang v. 9 i. 3 p. 369
- Visual Programming for Message-Passing Systemsby: Nenad Stankovic, Kang Zhang v. 9 i. 4 p. 397 - 424
- Visual Specification and Monitoring of Software Agents in Decentralized Process-Centred Environmentsby: John C. Grundy v. 9 i. 4 p. 425 - 444
- Genereation of Object-Oriented Software Process Using Milestonesby: Noriko Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, Koji Torii v. 9 i. 4 p. 445 - 466
- Grammatical Inference for the Automatic Generation of Visual Languagesby: Filomena Ferrucci, Giuliana Vitiello v. 9 i. 4 p. 467
- Mining for Program Structureby: 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 Methodsby: William W. Cohen, Premkumar T. Devanbu v. 9 i. 5 p. 519 - 546
- Data Mining for Predictors of Software Qualityby: 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 Correctabilityby: 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 Processby: Maria Tortorella, Giuseppe Visaggio v. 9 i. 5 p. 595
- Maintaining Shared Workspaces Consistency during Software Developmentby: Hala Skaf, François Charoy, Claude Godart v. 9 i. 5 p. 623 - 642
- Adding Form to Real-Time System Specification and Simulationby: 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 Engineeringby: 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 Documentsby: Stephen J. Morris, Anthony Finkelstein v. 9 i. 6 p. 691 - 724
- Situation-Dependent Metaphor for Personal Multimedia Informationby: K. Priyantha Hewagamage, Masahito Hirakawa, Tadao Ichikawa v. 9 i. 6 p. 725 - 744
- Designing Hypermedia Applications with Objects and Patternsby: Gustavo Rossi, Daniel Schwabe, Fernando Lyardet v. 9 i. 6 p. 745 - 766
- Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Languageby: Kuang Xu, Jeffrey J. P. Tsai v. 9 i. 6 p. 767 - 800
- Industry Practices in Project Management for Multimedia Information Systemsby: Stephen G. MacDonell, Tim Fletcher, William B. L. Wong v. 9 i. 6 p. 801 - 816
- Guest Editors' Introductionby: Daniel E. Cooke, Joseph E. Urban v. 8 i. 1 p. 1 - 2
- An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Softwareby: 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 Systemby: Owusu-Ansah Agyapong, Patrick O. Bobbie v. 8 i. 1 p. 21 - 33
- REINAS: A Real-Time System for Managing Environmental Databy: 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-Loopby: Bernd J. Krämer, Thomas Koch v. 8 i. 1 p. 55 - 76
- Scientific Data Mining: A Case Studyby: 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 Objectsby: 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 Diagnosisby: Daniel Graupe, Hubert Kordylewski v. 8 i. 1 p. 115 - 138
- An Active Multimedia Information System for Information Retrieval, Discovery and Fusionby: Shi-Kuo Chang, Daniel Graupe, Keiko Hasegawa, Hubert Kordylewski v. 8 i. 1 p. 139 - 160
- Metrics for Concept-Oriented Knowledge Basesby: Timothy Lethbridge v. 8 i. 2 p. 161 - 188
- Deriving Identity from Extensionalityby: 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 Designby: Perry Alexander v. 8 i. 2 p. 223 - 252
- A Formal Definition of FRSM and Applicationsby: Shaoying Liu v. 8 i. 2 p. 253 - 281
- A Formal Methodology for Analyzing Tradeoffs of Imprecise Requirementsby: John Yen, W. Amos Tiao v. 8 i. 2 p. 283 - 311
- Guest Editors' Introductionby: Phillip C.-Y. Sheu, Moon-hae Kim v. 8 i. 3 p. 313 - 313
- A Quality of Service Framework for Object-Oriented Architecturesby: Bran Selic v. 8 i. 3 p. 315 - 331
- An Approach for Adaptive Fault Tolerance in Object-Oriented Open Distributed Systemsby: 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 Systemsby: 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 Applicationsby: Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai v. 8 i. 3 p. 361 - 383
- The Role of Nonmonotonic Representations in Requirements Engineeringby: Grigoris Antoniou v. 8 i. 3 p. 385 - 399
- Matching Single-Sort Algebraic Specifications for Software Reuseby: Rui Gustavo Crespo v. 8 i. 3 p. 401 - 425
- Guest Editor's Introductionby: Natalia Juristo Juzgado v. 8 i. 4 p. 427 - 434
- Enhancing CASE Environments by Using Linguisticsby: 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 Analysisby: Ana María Moreno v. 8 i. 4 p. 449 - 459
- Organizing the Software Development Process Knowledge: An Approach Based on Patternsby: 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 Environmentby: Oh-Cheon Kwon, Cornelia Boldyreff, Malcolm Munro v. 8 i. 4 p. 483 - 515
- ISF: A Visual Formalism for Specifying Interconnection Styles for Software Designby: Spiros Mancoridis v. 8 i. 4 p. 517 - 540
- An Object-Oriented Design Complexity Metric Based on Inheritance Relationshipsby: Timothy K. Shih, Yule-Chyun Lin, Wen C. Pai, Chun-Chia Wang v. 8 i. 4 p. 541 - 566
- Formal Requirements and Design Specifications: The Clepsydra Methodologyby: Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo v. 7 i. 1 p. 1 - 42
- Data Flow Analysis of System Specifications in Lotosby: Hans van der Schoot, Hasan Ural v. 7 i. 1 p. 43 - 68
- Writing and Analyzing System Specifications by Integrated Linguistic Toolsby: 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 Frameworkby: Jack Campin, Norman W. Paton, M. Howard Williams v. 7 i. 1 p. 101 - 123
- Integration Object-Oriented Software Testing and Metricsby: 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 Modelby: Andrew M. Olson v. 7 i. 1 p. 145 - 167
- Guest Editors' Introductionby: Giuseppe Visaggio v. 7 i. 2 p. 169 - 170
- A New Framework for Improving Software Development Process on Small Computer Systemsby: Makoto Sakai, Ken-ichi Matsumoto, Koji Torii v. 7 i. 2 p. 171 - 184
- Enriching Software Process Support by Knowledge-Based Techniquesby: Barbara Dellen, Frank Maurer, Jürgen Münch, Martin Verlage v. 7 i. 2 p. 185 - 215
- Guest Editors' Introductionv. 7 i. 2 p. 217 - 217
- Method of Cumulative Sums and Problems of Optimal Control by Technological Processesby: Vladimir V. Mazalov v. 7 i. 2 p. 219 - 229
- Knowledge Aspects of Resource Allocation Problems with Saturationby: A. P. Cherenkov v. 7 i. 2 p. 231 - 245
- The Stabilization Problem for Certain Class of Ecological Systemsby: A. N. Kirillov v. 7 i. 2 p. 247 - 251
- An Experience with the Use of Systems Engineer Case Toolby: Mária Bieliková, Pavol Návrat v. 7 i. 2 p. 253 - 259
- Guest Editors' Introductionby: Phillip C.-Y. Sheu, Moon-hae Kim v. 7 i. 3 p. 261 - 262
- Multimedia Technologies in Japan: General Status and Future Trendsby: Yukio Mizuno, Shiro Sakata, Sachio Watanabe v. 7 i. 3 p. 263 - 288
- Knowledge-Assisted Retrieval of Spatiotemporal Content in Multimedia Databasesby: Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa v. 7 i. 3 p. 289 - 303
- A Survey of Access Methods for Image Databy: 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 Serverby: 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 Environmentsby: Sankyu Park, Key-Sun Choi, K. H. Kim v. 7 i. 3 p. 351 - 369
- User Control and Dynamic Reorganization of Multimedia Presentations During Playoutby: Veli Hakkoymaz, Taieb Znati, Erdogan Dogdu v. 7 i. 3 p. 371 - 395
- Guest Editors' Introductionby: 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 Adoptionby: Kurt Schneider v. 7 i. 4 p. 401 - 429
- Graph-Based Software Process Managementby: 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 Specificationby: Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig v. 7 i. 4 p. 457 - 477
- Nested Graph Transformation Unitsby: 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 Modelby: Annika Wagner v. 7 i. 4 p. 503 - 524
- Generating an Algebraic Specification from an ER-Modelby: Ernst-Erich Doberkat v. 7 i. 4 p. 525 - 552
- Managing Software Projects by Structured Project Planningby: Aniello Cimitile, Giuseppe Visaggio v. 7 i. 4 p. 553 - 584
- From Software Engineering to Knowledge Engineering: The Shape of the Software Industry in the 1990sby: Laszlo A. Belady v. 1 i. 1 p. 1 - 8
- On Issues in Software Engineering and Artificial Intelligenceby: 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 Specificationsby: Daniel E. Cooke, Ann Q. Gates v. 1 i. 1 p. 21 - 38
- Towards a Uniform Structured Representation for Application Generationby: Bruce I. Blum v. 1 i. 1 p. 39 - 55
- Access Control Strategies for Coordinating Teams of Software Engineersby: Michael P. Stovsky, Bruce W. Weide v. 1 i. 1 p. 57 - 73
- A Tool for Constructing Interactive Softwareby: W. David Hurley v. 1 i. 1 p. 75 - 98
- Computer Aided Software Engineering: Facilitating the Path for True Software and Knowledge Engineeringby: Michael L. Gibson, Charles A. Snyder v. 1 i. 1 p. 99 - 114
- Fundamentals of Computing for Software Engineersby: Eric S. Chan, Murat M. Tanik, Van Nostrand Reinhold v. 1 i. 1 p. 115 - 116
