Conferences in DBLP
Aditya Agrawal , Ákos Lédeczi Multigranular Simulation of Heterogeneous Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ted Bapty , Sandeep Neema , Steven Nordstrom , Shweta Shetty , Divya Vashishtha , Jason Overdorf , Paul Sheldon Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Barbier , Nicolas Belloir Component Behavior Prediction and Monitoring through Built-In Test. [Citation Graph (0, 0)][DBLP ] Conf ] Harry L. Brewer Systems Engineering Transitions into the 21st Century. [Citation Graph (0, 0)][DBLP ] Conf ] Darren Dalcher Trust, Systems and Accidents: Designing Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Denford , Tim O'Neill , John Leaney Architecture-Based Design of Computer Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dong Yang , Shen-sheng Zhang Using p - calculus to Formalize UML Activity Diagram. [Citation Graph (0, 0)][DBLP ] Conf ] Dong Yang , Shen-sheng Zhang Modeling Workflow Process Models with Statechart. [Citation Graph (0, 0)][DBLP ] Conf ] Darren Dalcher Dynamic Systems Development: Towards Continuity, Growth and Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Brandon Eames , Ted Bapty , Ben Abbott , Sandeep Neema , Kumar Chhokra Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Abdoulaye Gamatié , Thierry Gautier The SIGNAL Approach to the Design of System Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Jiang Guo An Approach for Modeling and Designing Software Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Chethana Kuloor , Armin Eberlein Aspect-Oriented Requirements Engineering for Software Product Lines. [Citation Graph (0, 0)][DBLP ] Conf ] Brandon Morel , Perry Alexander A Slicing Approach for Parallel Component Adaptation. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Juiz , Ramón Puigjaner Performance Modelling of Interaction Protocols for Component-Based System Design Using Object-Oriented Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav Svéda Rapid Prototyping of Networked Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Cindy Kong , Perry Alexander The Rosetta Meta-Model Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Zonghua Gu , Kang G. Shin Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jae C. Oh , Madhura S. Tamhankar , Daniel Mossé Design of Very Lightweight Agents for Reactive Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Sprinkle , Aditya Agrawal , Tihamer Levendovszky , Feng Shi , Gabor Karsai Domain Model Translation Using Graph Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav Svéda , Charles Rattray , Jerzy W. Rozenblit Formal Specifications of Computer-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Keller , Siegfried Wendt FMC: An Approach Towards Architecture-Centric System Development. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriele Luculli An ISA-Retargetable Framework for Embedded Software Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Diane Feldman , Josephine Micallef , Dennis Mulcare Enterprise-Wide Solutions Architecting Using UML. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Migas , William J. Buchanan , Kevin A. McArtney Mobile Agents for Routing, Topology Discovery, and Automatic Network Reconfiguration in Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jianfeng Peng , Jerzy W. Rozenblit , Liana Suantak A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Yifei Dong , C. R. Ramakrishnan , Scott A. Smolka Model Checking and Evidence Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Shehata , Armin Eberlein Requirements Interaction Detection Using Semi-Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Mason , Amer Saeed , Paul Arkley , Steve Riddle Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Sterritt , David W. Bustard Autonomic Computing - A Means of Achieving Dependability? [Citation Graph (0, 0)][DBLP ] Conf ] Keith Whisnant , Zbigniew Kalbarczyk , Ravishankar K. Iyer A Foundation for Adaptive Fault Tolerance in Software. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie White Social Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie White , Murray Cantor , Sanford Friedenthal , Cris Kobryn , Byron Purves Panel: Extending UML from Software to Systems Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Ferdinand Wagner , Peter Wolstenholme Modeling and Building Reliable, Re-Useable Software. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Schätz , Peter Braun 0003 , Franz Huber , Alexander K. Wißpeintner Consistency in Model-Based Development. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Streitferdt , Matthias Riebisch , Ilka Philippow Details of Formalized Relations in Feature Models Using OCL. [Citation Graph (0, 0)][DBLP ] Conf ] Silva Robak , Andrzej Pieczynski Employing Fuzzy Logic in Feature Diagrams to Model Variability in Software Product-Lines. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Marschall , Maurice Schoenmakers Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Butler , Xin Shen , Lugang Xu Issues in Architectural Modeling and Evolution in the Know-It-All Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] 