Conferences in DBLP
Manfred Broy Architecture Driven Modeling in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen Major Threat: From Formal Methods without Tools to Tools without Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Gomaa , Michael Eonsuk Shin Modeling Complex Systems by Separating Application and Security Concerns. [Citation Graph (0, 0)][DBLP ] Conf ] Panayiotis Periorellis , Olusola C. Idowu , Steven J. Lynden , Malcolm P. Young , Péter András Dealing with Complex Networks of Process Interactions: A Security Measure. [Citation Graph (0, 0)][DBLP ] Conf ] Vilgot Claesson , Neeraj Suri TTET: Event-Triggered Channels on a Time-Triggered Base. [Citation Graph (0, 0)][DBLP ] Conf ] Mara Nikolaidou , Dimosthenis Anagnostopoulos Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoxu Ren , Max Ong , Geoffrey Allan , Visakan Kadirkamanathan , Haydn Thompson , Peter J. Fleming Integrated Fault Diagnostics on the Grid. [Citation Graph (0, 0)][DBLP ] Conf ] Marios Polycarpou , Jay Farrell , Manu Sharma Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Gnesi , Diego Latella , Mieke Massink Formal Test-Case Generation for UML Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Poppleton , Richard Banach Requirements Validation by Lifting Retrenchments in B. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Taguchi , Jin Song Dong , Gabriel Ciobanu Relating pi-calculus to Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages. [Citation Graph (0, 0)][DBLP ] Conf ] P. Mattias Weckstén , Jonas Vasell , Magnus Jonsson Towards a Tool for Derivation of Implementation Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Sheena R. Judson , Robert B. France , Doris L. Carver Supporting Rigorous Evolution of UML Models. [Citation Graph (0, 0)][DBLP ] Conf ] Denise M. Woit , M. Fan Independence Transformations and Tools for Components. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Robertson , Robert Laddaga Using Contexts to Manage System Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] R. M. Marks , F. George Wilkie Visualising Object-Oriented Source Code Complexity Using XML. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Donzelli , Paolo Bresciani Domain Visualization for Dealing with Complex Information Systems . [Citation Graph (0, 0)][DBLP ] Conf ] Vieri Del Bianco , Gianluca Ripa , Emma Tracanella , Luigi Lavazza A Web-Based Infrastructure for the Management of Semantic Meta-Data. [Citation Graph (0, 0)][DBLP ] Conf ] Tao Cheng , Zailin Guan , Liming Liu , Bo Wu , Shuzi Yang A CORBA-Based Multi-Agent System Integration Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Sita Ramakrishnan , Ashley Cambrell Muse over University Organisational Ecology in Action and Service-Oriented Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] George K. Adam Design of a Microprocessor-Based Control System of a Compression Molding Process. [Citation Graph (0, 0)][DBLP ] Conf ] L. Braccesi , Massimo Monsignori , Paolo Nesi Monitoring and Optimizing Industrial Production Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco J. Barrientos García , Isaac García Incertis , Félix Miguel Trespaderne , Eusebio de la Fuente López , José R. Perán González System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Rouff , Amy Vanderbilt , Walt Truszkowski , James L. Rash , Michael G. Hinchey Verification of NASA Emergent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Boby George , Shawn A. Bohner , Rubén Prieto Díaz Software Information Leaks: A Complexity Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Fumiko Nagoya , Shaoying Liu , Yuting Chen An Investigation of the Approach to Specification-Based Program Review through Case Studies. [Citation Graph (0, 0)][DBLP ] Conf ] 