Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th SEKE 1996: Lake Tahoe, Nevada, USA
- The 8th International Conference on Software Engineering and Knowledge Engineering, SEKE '96, Lake Tahoe, Nevada, USA, June 10-12, 1996. Knowledge Systems Institute 1996, ISBN 0-9641699-3-2
Testing/Verification/Maintenance I
- Kenneth I. Magel, Ping Zhong:
Data Structure Coverage Testing. SEKE 1996: 1-8 - Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman, Chun-Yu Chen:
Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications. SEKE 1996: 9-16 - Anouar Jamoussi, Farokh B. Bastani:
Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". SEKE 1996: 17-24
Modeling
- Francisco Corella, Michelle Kim:
Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. SEKE 1996: 25-31 - Paulo Bianchi Franca:
The Design of a Class Library to Support Teaching of Object Oriented Programming with C++. SEKE 1996: 32-37 - Ehab Hassanein:
Class Hierarchy Management System. SEKE 1996: 38-44 - John K. Debenham:
Reduction of a Knowledge Model. SEKE 1996: 45-50
Process I
- Xin Chen, Simon Kendal, I. Potts, Peter Smith:
The Development of Hybrid Information Systems: a Process Model an Methodology. SEKE 1996: 51-58 - Martin Verlage, Barbara Dellen, Frank Maurer, Jürgen Münch:
A Synthesis of Two Process Support Approaches. SEKE 1996: 59-68 - Elizabeth Chang, Tharam S. Dillon, D. Cook:
Measurement of Usability of Software Using a Fuzzy Systems Approach. SEKE 1996: 69-76
Debugging I
- Chun Hung Roberts Law, R. Brien Maguire:
Debugging of Object-Oriented Software. SEKE 1996: 77-84 - Ilene Burnstein, Abdul Mirza, Katherine Roberson, Floyd Saner, Abdallah Tubaishat:
Knowledge Engineering for Automated Program Recognition and Fault Localization. SEKE 1996: 85-91 - Richard Fox, Christian Bilke, James Mendoza:
Automating the Debugging Process of Pascal Syntax Errors. SEKE 1996: 92-99
Data Mining
- Chia-Yo Chang, Jason Tsong-Li Wang:
Scientific Data Mining: A Case Study. SEKE 1996: 100-107 - Suk-Chung Yoon, Lawrence J. Henschen:
Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. SEKE 1996: 108-115 - Scott A. Starks:
Development of a Software Architecture for the Analysis of Geographic and Image-Based Data. SEKE 1996: 116-120
Decision Support
- Daniela Rosca, J. Christian Wild:
Business Rules in the Real World: A Decision Support Approach. SEKE 1996: 121-128 - Owusu-Ansah Agyapong, Patrick O. Bobbie:
Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System. SEKE 1996: 129-135
Specification I
- Valdis Berzins:
Recombining Changes to Software Specifications. SEKE 1996: 136-144 - Vladimir P. Sliva, Tadao Murata, Sol M. Shatz:
A Method for Applying G-Nets To Communication Protocols. SEKE 1996: 145-152 - David Stuart Robertson:
An Empirical Study of the LSS Specification Toolkit in Use. SEKE 1996: 153-160
Knowledge Engineering in Software Engineering
- Luis Montero, Colin T. Scott:
The Role of Knowledge Acquisition in Component Based System Construction. SEKE 1996: 161-170 - Naoko Izumi, Takuya Katayama:
An Object Logic for Object Base Capable of Version Management. SEKE 1996: 171-180 - Charu Chandra, C. V. Ramamoorthy:
An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software. SEKE 1996: 181-188
Specification II
- Luqi:
Specifications in Software Prototyping. SEKE 1996: 189-197 - Francoise Balmas:
ACL: a Tool for Conceptual Programming. SEKE 1996: 198-205 - David Robertson:
Domain Specific Problem Description. SEKE 1996: 206-213
Code Reengineering I
- Gerardo Canfora, Andrea De Lucia, Malcolm Munro:
An Integrated Environment for Reuse Reengineering C Code. SEKE 1996: 214-221 - Byung-Kyoo Kang, James M. Bieman:
Using Design Cohesion to Visualize, Quantify, and Restructure Software. SEKE 1996: 222-229 - F. Cutillo, Giuseppe Visaggio:
Managing a Software System and Keeping it Internally Consistent During its Evolution. SEKE 1996: 230-237
Agents
- W. David Hurley:
Identifying Language Requirements for Specifying Industrial-Strength Software Agents. SEKE 1996: 238-245 - Han Gyoo Kim, Young-Chul Shim, Moon-hae Kim:
Relationship Between Communication Capability and Goal Achievement in System of Agents. SEKE 1996: 246-252 - Evandro de Barros Costa, Angelo Perkusich, Jorge C. A. de Figueiredo:
A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems. SEKE 1996: 253-260
Debugging II
- Hai Huang, Wei-Tek Tsai, Satish Subramanian:
Generalized Program Slicing for Software Maintenance. SEKE 1996: 261-268 - Aggie Y. Sun, Bruce M. McMillin:
Wheels: An Automated Program Analysis Tool. SEKE 1996: 269-276 - Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca:
Recovering a Conceptual Data Model from COBOL Code. SEKE 1996: 277-284
Multimedia I
- Cyril U. Orji, Kingsley C. Nwosu:
Data Layout for Interactive Video-on-Demand Storage Systems. SEKE 1996: 285-292 - Darrell D. E. Long, Patrick E. Mantey, Eric C. Rosen, Craig M. Wittenbrink:
REINAS: A Real-time System for Managing Environmental Data. SEKE 1996: 293-300 - Isidore Rigoutsos, Alex Delis:
The Impact of Hashing Function Choice on the Load Balancing in Very Large Dartasets. SEKE 1996: 301-308
Process II
- Chye-Lin Chee, Stan Jarzabek, C. V. Ramamoorthy:
An Intelligent Process for Formulating and Anwering Project Queries. SEKE 1996: 309-316 - Raymond A. Paul, Azam Khan, Arif Ghafoor, Young Francis Day, Yoshihisa Shinagawa:
A Visual Query Interface for Software Metrics Databases. SEKE 1996: 317-322 - Dick B. Simmons, Newton C. Ellis, Way Kuo:
Software Process Agents. SEKE 1996: 323-329
Testing/Verification/Maintenance II
- Pei Hsia, Xiaolin Li, David Chenho Kung:
An Early Warning Approach for Method Sequence Testing. SEKE 1996: 330-337 - Ann Q. Gates:
On Defining a Class of Integrity Constraints. SEKE 1996: 338-344 - Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi:
Important Milestones in Software Reliability Modeling. SEKE 1996: 345-352
Code Reenigneering II
- Oliver Karall, Stefan Biffl:
Case Study: EasyCODE - A Language Independent Visualization Tool for Reengineering. SEKE 1996: 353-360 - Francoise Balmas:
PRISME: Formalizing Programming Strategies as a Way to Understand Programs. SEKE 1996: 361-368 - Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam:
The Role of Program Slicing in Ripple Effect Analysis. SEKE 1996: 369-376
Requirements I
- Xiaoqing Frank Liu:
A Quantitative Approach for Assessing the Priorities of Software Quality Requirements. SEKE 1996: 377-384 - Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo:
Engineering Formal Requirements: Analysis and Testing. SEKE 1996: 385-392 - Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert:
Verification Criterion Directed Testing for Formal Specifications. SEKE 1996: 393-399
Concurrency I
- Douglas Foxvog, Tapio Taipale:
Variable Depth Resolution for Intelligent Real-Time Systems. SEKE 1996: 400-407 - Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist:
A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE 1996: 408-417 - Vijay K. Garg:
Observation of Global Properties in Distributed Systems. SEKE 1996: 418-425
Code Reengineering III
- W. Morven Gentleman:
Challenges in Deploying Software: Rollout, Field Support, Upgrades. SEKE 1996: 426-433 - Roland T. Mittermeir, Lydia G. Würfl:
Greedy Reuse: Architectural Considerations for Extending the Reusability of Components. SEKE 1996: 434-441 - Doris L. Carver:
Reverse Engineering Procedural Code for Object Recovery. SEKE 1996: 442-449
Requirements II
- Heinz-Dieter Knöll, Thomas Slotos, Wolfgang Suk:
Quality Assurance of Specification - The Users Point of View. SEKE 1996: 450-456 - Jiafu Xu, Hong Zhu:
Requirements Analysis and Specification as a Problem of Software Automation. SEKE 1996: 457-464 - Ilham Alloui, Flávio Oquendo:
Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. SEKE 1996: 465-473
Concurrency II
- Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka:
A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479 - Bernd J. Krämer, Thomas Koch:
Knowledge-Based Support for Distributed Systems Management. SEKE 1996: 480-487 - Ravi Prakash, Mukesh Singhal:
A Dynamic Apporach Towards Location Management in Mobile Computing Systems. SEKE 1996: 488-495
Panel - Intelligent Integration of Information
SW Visualization I
- Verena Giller, Günter Haring, Manfred Tscheligi:
Scriptless Behaviour Definition of Visual Objects. SEKE 1996: 499-505 - Tim Menzies:
Visual Programming, Knowledge Engineering, and Software Engineering. SEKE 1996: 506-513 - Kang Zhang, Da-Qian Zhang:
Developing Visual Languages Through an Evolving Method. SEKE 1996: 514-521
Concurrency III
- K. H. Kim:
Towards Designing RTO.k Structured Server Objects with Service Time Guarantee. SEKE 1996: 522-528 - Kevin L. Mills, Hassan Gomaa:
A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems. SEKE 1996: 529-536
Multimedia II
- P. Bruce Berra, Seong-Joon Yoo, Yong Kyu Lee, Kyoungro Yoon:
Version Management in Structured Document Retrieval Systems. SEKE 1996: 537-544 - Dong-Keun Shin:
The Theory of Massive Cross-Referencing. SEKE 1996: 454-552
Visualization II
- Shi-Kuo Chang, Piero Mussio:
Customized Visual Language Design. SEKE 1996: 553-562 - George Jyh-Shian Chang, Jason Tsong-Li Wang, Gung-Wei Chirn, Chia-Yo Chang, Weihong Wu, Firas Aljallad:
A Visualization Tool for Pattern Matching and Discovery in Scientific Databases. SEKE 1996: 563-570
Multimedia III
- Peter S. Guilfoyle, John M. Hessenbruch, Richard V. Stone, P. Bruce Berra:
Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor. SEKE 1996: 571-576 - Soochan Hwang, Sang-Young Cho, Taehyung Wang, Phillip C.-Y. Sheu:
A Fast 3-D Visualization Methodology Using Characteristic Views of Objects. SEKE 1996: 577-584
Human Interfaces
- Rolf Adams, Hans Weigand:
Generating Natural Language Interfaces for Terminological Knowledge Representation Systems. SEKE 1996: 585-594 - Wlodek Zadrozny:
Natural Language Processing: Structure and Complexity. SEKE 1996: 595-602
a service of 
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-04-18 20:19 CEST 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:
