Conferences in DBLP
Kenneth I. Magel , Ping Zhong Data Structure Coverage Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Shih-Sung Liao , Kai H. Chang , Stephen B. Seidman , Chun-Yu Chen Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Anouar Jamoussi , Farokh B. Bastani Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Corella , Michelle Kim Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Bianchi Franca The Design of a Class Library to Support Teaching of Object Oriented Programming with C++. [Citation Graph (0, 0)][DBLP ] Conf ] Ehab Hassanein Class Hierarchy Management System. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Debenham Reduction of a Knowledge Model. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Chen , Simon Kendal , I. Potts , Peter Smith The Development of Hybrid Information Systems: a Process Model an Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Verlage , Barbara Dellen , Frank Maurer , Jürgen Münch A Synthesis of Two Process Support Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Elizabeth Chang , Tharam S. Dillon , D. Cook Measurement of Usability of Software Using a Fuzzy Systems Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Roberts C. H. Law , R. Brien Maguire Debugging of Object-Oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ilene Burnstein , Abdul Mirza , Katherine Roberson , Floyd Saner , Abdallah Tubaishat Knowledge Engineering for Automated Program Recognition and Fault Localization. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Fox , Christian Bilke , James Mendoza Automating the Debugging Process of Pascal Syntax Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Chia-Yo Chang , Jason Tsong-Li Wang Scientific Data Mining: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Suk-Chung Yoon , Lawrence J. Henschen Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Scott A. Starks Development of a Software Architecture for the Analysis of Geographic and Image-Based Data. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela Rosca , J. Christian Wild Business Rules in the Real World: A Decision Support Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Owusu-Ansah Agyapong , Patrick O. Bobbie Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System. [Citation Graph (0, 0)][DBLP ] Conf ] Valdis Berzins Recombining Changes to Software Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Sliva , Tadao Murata , Sol M. Shatz A Method for Applying G-Nets To Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] David Stuart Robertson An Empirical Study of the LSS Specification Toolkit in Use. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Montero , Colin T. Scott The Role of Knowledge Acquisition in Component Based System Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Naoko Izumi , Takuya Katayama An Object Logic for Object Base Capable of Version Management. [Citation Graph (0, 0)][DBLP ] Conf ] C. Chandra , C. V. Ramamoorthy An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software. [Citation Graph (0, 0)][DBLP ] Conf ] Luqi Specifications in Software Prototyping. [Citation Graph (0, 0)][DBLP ] Conf ] Francoise Balmas ACL: a Tool for Conceptual Programming. [Citation Graph (0, 0)][DBLP ] Conf ] David Robertson Domain Specific Problem Description. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Canfora , Andrea De Lucia , Malcolm Munro An Integrated Environment for Reuse Reengineering C Code. [Citation Graph (0, 0)][DBLP ] Conf ] Byung-Kyoo Kang , James M. Bieman Using Design Cohesion to Visualize, Quantify, and Restructure Software. [Citation Graph (0, 0)][DBLP ] Conf ] F. Cutillo , Giuseppe Visaggio Managing a Software System and Keeping it Internally Consistent During its Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] W. David Hurley Identifying Language Requirements for Specifying Industrial-Strength Software Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Han Gyoo Kim , Young-Chul Shim , Moon-hae Kim Relationship Between Communication Capability and Goal Achievement in System of Agents. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Hai Huang , Wei-Tek Tsai , Satish Subramanian Generalized Program Slicing for Software Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Aggie Y. Sun , Bruce M. McMillin Wheels: An Automated Program Analysis Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Canfora , Aniello Cimitile , Giuseppe A. Di Lucca Recovering a Conceptual Data Model from COBOL Code. [Citation Graph (0, 0)][DBLP ] Conf ] Cyril U. Orji , Kingsley C. Nwosu Data Layout for Interactive Video-on-Demand Storage Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Darrell D. E. Long , Patrick E. Mantey , Eric C. Rosen , Craig M. Wittenbrink REINAS: A Real-time System for Managing Environmental Data. [Citation Graph (0, 0)][DBLP ] Conf ] Isidore Rigoutsos , Alex Delis The Impact of Hashing Function Choice on the Load Balancing in Very Large Dartasets. [Citation Graph (0, 0)][DBLP ] Conf ] Chye-Lin Chee , Stan Jarzabek , C. V. Ramamoorthy An Intelligent Process for Formulating and Anwering Project Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond A. Paul , Azam Khan , Arif Ghafoor , Young Francis Day , Yoshihisa Shinagawa A Visual Query Interface for Software Metrics Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Dick B. Simmons , Newton C. Ellis , Way Kuo Software Process Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Pei Hsia , Xiaolin Li , David Chenho Kung An Early Warning Approach for Method Sequence Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Ann Q. Gates On Defining a Class of Integrity Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Swapna S. Gokhale , Peter N. Marinos , Kishor S. Trivedi Important Milestones in Software Reliability Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Karall , Stefan Biffl Case Study: EasyCODE - A Language Independent Visualization Tool for Reengineering. [Citation Graph (0, 0)][DBLP ] Conf ] Francoise Balmas PRISME: Formalizing Programming Strategies as a Way to Understand Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yamin Wang , Wei-Tek Tsai , Xiaoping Chen , Sanjai Rayadurgam The Role of Program Slicing in Ripple Effect Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoqing Frank Liu A Quantitative Approach for Assessing the Priorities of Software Quality Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ciancarini , Stelvio Cimato , Cecilia Mascolo Engineering Formal Requirements: Analysis and Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Ziaomu Zeng , Jeffrey J. P. Tsai , Thomas J. Weigert Verification Criterion Directed Testing for Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas Foxvog , Tapio Taipale Variable Depth Resolution for Intelligent Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Deng , Wenliang Du , Paul C. Attie , Michael Evangelist A Formalism for Architectural Modeling of Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay K. Garg Observation of Global Properties in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] W. Morven Gentleman Challenges in Deploying Software: Rollout, Field Support, Upgrades. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Mittermeir , Lydia G. Würfl Greedy Reuse: Architectural Considerations for Extending the Reusability of Components. [Citation Graph (0, 0)][DBLP ] Conf ] Doris L. Carver Reverse Engineering Procedural Code for Object Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz-Dieter Knöll , Thomas Slotos , Wolfgang Suk Quality Assurance of Specification - The Users Point of View. [Citation Graph (0, 0)][DBLP ] Conf ] Dong-Keun Shin The Theory of Massive Cross-Referencing. [Citation Graph (0, 0)][DBLP ] Conf ] Jiafu Xu , Hong Zhu Requirements Analysis and Specification as a Problem of Software Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Ilham Alloui , Flávio Oquendo Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , Insup Lee , Philip M. Lewis , Scott A. Smolka A Theory of Testing for Soft Real-Time Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd J. Krämer , Thomas Koch Knowledge-Based Support for Distributed Systems Management. [Citation Graph (0, 0)][DBLP ] Conf ] Ravi Prakash , Mukesh Singhal A Dynamic Apporach Towards Location Management in Mobile Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Verena Giller , Günter Haring , Manfred Tscheligi Scriptless Behaviour Definition of Visual Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Menzies Visual Programming, Knowledge Engineering, and Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Kang Zhang , Da-Qian Zhang Developing Visual Languages Through an Evolving Method. [Citation Graph (0, 0)][DBLP ] Conf ] K. H. Kim Towards Designing RTO.k Structured Server Objects with Service Time Guarantee. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin L. Mills , Hassan Gomaa A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] P. Bruce Berra , Seong-Joon Yoo , Yong Kyu Lee , Kyoungro Yoon Version Management in Structured Document Retrieval Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Shi-Kuo Chang , Piero Mussio Customized Visual Language Design. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Peter S. Guilfoyle , John M. Hessenbruch , Richard V. Stone , P. Bruce Berra Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Soochan Hwang , Sang-Young Cho , Taehyung Wang , Phillip C.-Y. Sheu A Fast 3-D Visualization Methodology Using Characteristic Views of Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Adams , Hans Weigand Generating Natural Language Interfaces for Terminological Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodek Zadrozny Natural Language Processing: Structure and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] 