Conferences in DBLP
John A. McDermid Complexity: Concept, Causes and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Vangalur S. Alagar , Olga Ormandjieva , Mao Zheng Managing Complexity in Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierfrancesco Bellini , Mario Andres Bruno , Paolo Nesi Verification Criteria for a Compositional Model for Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Kaâniche , Jean-Claude Laprie , Jean-Paul Blanquart Dependability Engineering of Complex Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Gomaa , Larry Kerschberg , Ghulam A. Farrukh Domain Modeling of Software Process Models. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Gomaa , Shaoying Liu , Michael E. Shin Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Rouff , James L. Rash , Michael G. Hinchey Experience Using Formal Methods for Specifying a Multi-Agent System. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhiro Sugiyama Distributed Development of Complex Software Systems with Object Make. [Citation Graph (0, 0)][DBLP ] Conf ] Plamen V. Petrov , Alexander D. Stoyen An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application. [Citation Graph (0, 0)][DBLP ] Conf ] William G. Howerton , Michael G. Hinchey Using the Right Tool for the Job. [Citation Graph (0, 0)][DBLP ] Conf ] Ryo Takeuchi , Akira Miura , Masanobu Yoshimi Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Takeshi Ihara , Hiroyuki Ohnishi , Yasushi Takagi Mobile IP Route Optimization Method for a Carrier-Scale IP Network. [Citation Graph (0, 0)][DBLP ] Conf ] Shinji Inoue , Yoshiaki Kakuda Multiple Backup Virtual Paths Reservation Problem and Its Solution. [Citation Graph (0, 0)][DBLP ] Conf ] Tosiyasu L. Kunii , Masayuki Hisada Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Alejandro Cortés , Petru Eles , Zebo Peng Definitions of Equivalence for Transformational Synthesis of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hideaki Hirayama , Hiroki Honda , Toshitsugu Yuba Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Ramirez , Andrew E. Santosa , Roland H. C. Yap Concurrent Programming Made Easy. [Citation Graph (0, 0)][DBLP ] Conf ] David Notkin Dynamically Detecting Relevant Program Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Huaikou Miao , Ling Liu A Test Class Framework for Generating Test Cases from Z Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] A. Jefferson Offutt , Aynur Abdurazik , Roger T. Alexander An Analysis Tool for Coupling-Based Integration Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Aynur Abdurazik , Paul Ammann , Wei Ding , A. Jefferson Offutt Evaluation of Three Specification-Based Testing Criteria. [Citation Graph (0, 0)][DBLP ] Conf ] Balkhis Abu Bakar , Tomasz Janowski Automated Result Verification with AWK. [Citation Graph (0, 0)][DBLP ] Conf ] Takuya Katayama Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Tae Yoneda , Tadashi Ohta Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. [Citation Graph (0, 0)][DBLP ] Conf ] Fuminori Nakanishi , Shinnya Hiraike , Shinji Inoue , Yoshiaki Kakuda , Kenji Toda A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] S. Inoue , Y. Kakuda , M. Terabe New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jakob Axelsson Cost Models for Electronic Architecture Trade Studies. [Citation Graph (0, 0)][DBLP ] Conf ] 