Conferences in DBLP
Greg Butler Quality and Reuse in Industrial Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Aileen Cater-Steel , Edmond P. Fitzgerald Quality assurance certification: adoption by Australian software developers and its association with capability maturity. [Citation Graph (0, 0)][DBLP ] Conf ] Euyseok Hong , Chi Su Wu Criticality Models using SDL Metrics Set. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Moser , Vojislav B. Misic Measuring Class Coupling and Cohesion: A Formal Metamodel Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Hazel , Paul A. Strooper , Owen Traynor Possum: An Animator for the SUM Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Ho-Stuart , Shaoying Liu A Formal Operational Semantics for SOFL. [Citation Graph (0, 0)][DBLP ] Conf ] Wuu Yang Multi-Plan Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Wink Lok Yeung Denotational Semantics for JSD. [Citation Graph (0, 0)][DBLP ] Conf ] Hon Wai Chun A distributed constraint-based search architecture for bus timetabling and duty assignment. [Citation Graph (0, 0)][DBLP ] Conf ] Haihong Dai Discovery of Cases for Case-Based Reasoning in Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Yuhe Li , Haihong Dai Reducing Uncertainties in Data Mining. [Citation Graph (0, 0)][DBLP ] Conf ] Xinyu Wu , John G. Hughes HKBCN - A Hybrid Intelligent System for Knowledge Revising. [Citation Graph (0, 0)][DBLP ] Conf ] Hon Wai Chun A methodology for object-oriented constraint programming. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Martin The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java. [Citation Graph (0, 0)][DBLP ] Conf ] Takako Nakatani , Tetsuo Tamai , Atsushi Tomoeda , Harumi Matsuda Towards Constructing a Class Evolution Model. [Citation Graph (0, 0)][DBLP ] Conf ] Alena Griffiths Modular reasoning in Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Nabil Hameurlain , Christophe Sibertin-Blanc Finite Symbolic Reachability Graphs for High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Sridhar Iyer , S. Ramesh A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Paul A. Bailes , Paul Burnim , Murray Chapman Mapping Ada Source Code into an Abstract Program Space. [Citation Graph (0, 0)][DBLP ] Conf ] Hung-Chin Jang , Yao-Nan Lien , Jyh-Shyan Huang Client location tracking with k-step prediction and cache policy in ubiquitous information service network. [Citation Graph (0, 0)][DBLP ] Conf ] Masami Noro , Kunio Goto An Architecture and a Framework for IP Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Christoph Hofmann , Ingolf Krüger , Monika Schmidt Using Extended Event Traces to Describe Communication in Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhold Plösch Design by Contract for Python. [Citation Graph (0, 0)][DBLP ] Conf ] Ikuyo Nagaoka , Katsuaki Sanou , Daisuke Ikeo , Michio Tsuda , Shin'ichi Akiba A Reverse Engineering Method and Experiences for Industrial COBOL System. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Xia Software Engineering Research: A Methodological Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Kamel Barkaoui , Claude Kaiser , Jean-François Pradat-Peyre Petri nets based proofs of Ada 95 solution for preference control. [Citation Graph (0, 0)][DBLP ] Conf ] Adel Benzina , Mario Paludetto , Jérôme Delatour About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Kotonya , Ian Sommerville Integrating safety analysis and requirements engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Gwang Sik Yoon , Sung Deok Cha , Yong Rae Kwon , Chan Hyung Yoo Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel K. C. Chan , Karl R. P. H. Leung Software Development as a Workflow Process. [Citation Graph (0, 0)][DBLP ] Conf ] Sang-Yoon Min , Ik-Joo Han , Wei-Jin Park , Doo-Hwan Bae An Approach to Software Process Management Based on Formal Process Modeling and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Véronique Plihon , Colette Rolland Genericity in method construction. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Wu , Deirdre Lawless , Jesus Bisbal , Jane Grimson , Vincent Wade , Donie O'Sullivan , Ray Richardson Legacy Systems Migration : A Method and its Tool-Kit Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Eun Sook Cho , Soo Dong Kim , Sung Yul Rhew , Sang Duck Lee , Chang Gap Kim Object-oriented Web application architectures and development strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Wing Lam Scenario reuse: a technique for complementing scenario-based requirements engineering approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaodong Liu , Zhiqiang Chen , Hongji Yang , Hussein Zedan , William C. Chu A Design Framework for System Re-Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Atkinson Cognitive Deficiencies in Software Library Design. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Faro , Daniela Giordano A Theory of Interactions and Scenes for User Centered Systems Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Hussey , David A. Carrington Specifying the UQ* user-interface with Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Erez Buchnik , Shmuel Ur Compacting regression-suites on-the-fly. [Citation Graph (0, 0)][DBLP ] Conf ] Jiun-Liang Chen , Feng-Jian Wang , Yung-Lin Chen Slicing Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Tsong Yueh Chen , Yuen-Tak Yu On the Criteria of Allocating Test Cases under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Jason McDonald , Leesa Murray , Paul A. Strooper Translating Object-Z Specifications to Object-Oriented Test Oracles. [Citation Graph (0, 0)][DBLP ] Conf ] Tae-Hoon Kim , Woo-Chang Shin , Geun-Duk Park , Tae-Heun Lee , Taegyun Kim , Yeong-Gil Shin , Chi Su Wu DOOD: Distributed Object-Oriented Software Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Maokai Gong , Louise Scott , Ray Offen MetaBuilder: a Generic CASE Tool Builder. [Citation Graph (0, 0)][DBLP ] Conf ] Xu Xue Biao JB-OODBT: An Object-Oriented Database Toolkit for JB/CASE. [Citation Graph (0, 0)][DBLP ] Conf ] Wuu Yang Conditional Evaluation in Simple Multi-Visit Attribute-Grammar Evaluators. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Barrio-Solórzano , Pablo de la Fuente A Formal Model of Concurrency for Distributed Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Bueno , Valentín Valero Ruiz , Fernando Cuartero TPAL: A Timed-Probabilistic Model for Concurrent Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuro Katayama , Zengo Furukawa , Kazuo Ushijima A Test-case Generation Method for Concurrent Programs Including Task-types. [Citation Graph (0, 0)][DBLP ] Conf ] Noriki Ogura , Keizo Saisho , Akira Fukuda Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Butler , Peter Grogono , Ferhat Khendek A Z Specification of Use Cases: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Deyu Qi LOODS: a new learning-based object-oriented system development environment. [Citation Graph (0, 0)][DBLP ] Conf ] Parames Ghosh , George Feuerlicht Integration of Application Systems by Modelling Information Shared Among Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen W. C. Lam , Keith C. C. Chan , Hareton K. N. Leung , Lawrence Chung A visual programming environment for Z specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Li , Harry S. Delugach Software Metrics and Application Domain Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-Cherng Lin , Szu-Wen Lin , Louis Huang An Approach to Software Testability Measurement. [Citation Graph (0, 0)][DBLP ] Conf ] Chris S. Wallace , Peter Martin Not Whether Java but How Java. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Matsushita , Makoto Oshita , Hajimu Iida , Katsuro Inoue Conceptual Issues of an Object-Centered Process Model. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohnishi Software Requirements Definition for Specification Database. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Pree Component-Based Software Development-A New Paradigm in Software Engineering? [Citation Graph (0, 0)][DBLP ] Conf ] Nigel Stanger , Richard Pascoe Exploiting the advantages of object oriented programming in the implementation of a database design environment. [Citation Graph (0, 0)][DBLP ] Conf ] Edmond Sung , Arkady B. Zaslavsky Software Assisted Handover of Mobile Clients in Heterogeneous Wireless Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Jesus Bisbal , Deirdre Lawless , Bing Wu , Jane Grimson , Vincent Wade , Ray Richardson , Donie O'Sullivan An Overview of Legacy System Migration. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Schaefer Tutorial: organizing, managing and optimizing software testing. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Pree , Hermann Sikora Design Patterns-Essentials, Experience, Java Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Paul A. Swatman OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Frank von Martial Design and Implementation of Coordination and Workflow Management Technology. [Citation Graph (0, 0)][DBLP ] Conf ] 