Timethread-role maps for object-oriented design of real-time-and-distributed systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Object-oriented development of real-time systems: verification of functionality and performance
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Transition to object-oriented software development
Communications of the ACM
Object-oriented cosynthesis of distributed embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Active information systems, from object-oriented design to Ada 95
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Mapping statechart models onto an FPGA-based ASIP architecture
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
IEEE Transactions on Software Engineering
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
DAC '98 Proceedings of the 35th annual Design Automation Conference
Actor-based computing: vision forestalled, vision fulfilled
AGENTS '98 Proceedings of the second international conference on Autonomous agents
A wideband approach to integrating performance prediction into a software design environment
Proceedings of the 1st international workshop on Software and performance
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Model checking of hierarchical state machines
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Control generation for embedded systems based on composition of modal processes
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Communication synthesis for distributed embedded systems
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Application-specific heterogeneous multiprocessor synthesis using differential-evolution
Proceedings of the 11th international symposium on System synthesis
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Software size measurement and productivity rating in a large-scale software development department
Proceedings of the 20th international conference on Software engineering
ipChinook: an integrated IP-based design framework for distributed embedded systems
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Turning clockwise: using UML in the real-time domain
Communications of the ACM
The CIP method: component- and model-based construction of embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Smart virtual prototypes: distributed 3D product simulations for Web based environments
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
On the roles of functions and objects in system specification
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software evolution in componentware using requirements/assurances contracts
Proceedings of the 22nd international conference on Software engineering
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
A Case For Object-Oriented Real-Time Systems (OORTS)
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Real-Time Object-Oriented Design and Formal Methods
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Are Object-Oriented Concepts Useful to Real-Time SystemsDevelopment?
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
A flexible message passing mechanism for objective VHDL
Proceedings of the conference on Design, automation and test in Europe
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
Coordination control with BCOOPL
Proceedings of the 2001 ACM symposium on Applied computing
Reusable component interconnection patterns for distributed software architectures
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An efficient set of software degree programs for one domain
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Describing software architecture with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Performance analysis of internet based software retrieval systems using Petri Nets
MSWIM '01 Proceedings of the 4th ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
A tool for component based design of embedded software
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
A pattern language of call processing
Design patterns in communications software
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments
IEEE Transactions on Software Engineering
An architectural co-synthesis algorithm for distributed, embedded computing systems
Readings in hardware/software co-design
Control generation for embedded systems based on composition of modal processes
Readings in hardware/software co-design
A Methodology for Architecture-Level Reliability Risk Analysis
IEEE Transactions on Software Engineering
Tutorial: describing software architecture with UML
Proceedings of the 24th International Conference on Software Engineering
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards reusable real-time objects
Annals of Software Engineering
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
Towards a General Component Model for Web-Based Applications
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
Object-Oriented Design of QoS Multicast Communications
Cluster Computing
Checking MSC specifications for timing inconsistency
Journal of Computer Science and Technology
Verification of Hierarchical State/Event Systems using Reusability and Compositionality
Formal Methods in System Design
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
BCOOPL: A Language for Controlling Component Interactions
The Journal of Supercomputing
An OO Project Management Strategy
Computer
Domain Mapping Using Extended UML Object Diagrams
IEEE Software
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Graph-based tools for re-engineering
Journal of Software Maintenance: Research and Practice
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Grey-Box Approach to Component Composition
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
And/Or Hierarchies and Round Abstraction
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
VIP: A Visual Interface for Promela
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Managing Componentware Development - Software Reuse and the V-Modell Process
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
The ADORA Approach to Object-Oriented Modeling of Software
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Communicating Hierarchical State Machines
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Consistent Integration of Formal Methods
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
VIP: A Visual Editor and Compiler for v-Promela
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Automatic Generation of a Software Performance Model Using an Object-Oriented Prototype
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Experience with Formal Specification of CMM and UML
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Implementing Real-Time Actors with MetaJava
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
CARP@ - A Reflection Based Tool for Observing Jini Services
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Collaboration-Based Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Integrating Formal Description Techniques
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Graph-Based Reengineering of Telecommunication Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Possibilities of Performance Modelling with UML
Performance Engineering, State of the Art and Current Trends
Performance Engineering of Component-Based Distributed Software Systems
Performance Engineering, State of the Art and Current Trends
The Design and Implementation of an Object-Oriented Process Control Loop Framework
AISA '02 Proceedings of the First International Workshop on Advanced Internet Services and Applications
Formal Specification of Object-Oriented Meta-modelling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
A Software Bus as a Platform for a Family of Distributed Embedded System Products
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Evaluating real-time software specification languages
Computer Standards & Interfaces
Performance modelling of a network processor using POOSL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
Object-oriented programming and software development: a critical assessment
Programming methodology
Tools for understanding the behavior of telecommunication systems
Proceedings of the 25th International Conference on Software Engineering
Tutorial H2: an overview of UML 2.0
Proceedings of the 25th International Conference on Software Engineering
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Restricted object based design of event driven commercial software
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Communication Synthesis for Embedded Systems with Global Considerations
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
An environment for object-oriented real-time systems design
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Entity-Relationship Software Development Environment
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Applying object-oriented concepts to the Development of Real-Time Industrial automation systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A framework for location transparency in distributed systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Object-Oriented Behaviour Modelling or Real-Time Design
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
An Architectural Style for Object Oriented Real-Time Systems
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Architecting Systems with UML 2.0
IEEE Software
Journal of Software Maintenance: Research and Practice
Fundamenta Informaticae - Concurrency specification and programming
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
UML for real
UML for hardware and software object modeling
UML for real
Schedulability analysis with UML
UML for real
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of real-time imaging systems using the UML
Real-Time Imaging
The Pragmatics of Model-Driven Development
IEEE Software
Integrating Data Flow Equations with UML/Realtime
Real-Time Systems
Viewpoints of DSP software and service architectures
Journal of Systems and Software
Combining analysis and synthesis in a model of a biological cell
Proceedings of the 2004 ACM symposium on Applied computing
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Operating system scenarios as Use Case Maps
WOSP '04 Proceedings of the 4th international workshop on Software and performance
OCCN: a NoC modeling framework for design exploration
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Networks on chip
Tutorial: An Overview of UML 2.0
Proceedings of the 26th International Conference on Software Engineering
Journal of Systems and Software - Special issue: Rapid system prototyping
Refinement of hybrid systems: from formal models to design languages
Languages for system specification
Cell Modeling Using Agent-Based Formalisms
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
A data-centric approach to composing embedded, real-time software components
Journal of Systems and Software - Special issue: Automated component-based software engineering
Integrated object-oriented framework for MCDM and DSS modelling
Decision Support Systems
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Improving Performance of Virtual Reality Applications Through Parallel Processing
The Journal of Supercomputing
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Object-oriented analysis and design (OOAD)
Encyclopedia of Computer Science
Model-based run-time monitoring of end-to-end deadlines
Proceedings of the 5th ACM international conference on Embedded software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Cell modeling with reusable agent-based formalisms
Applied Intelligence
Telecommunications Systems - Modeling, analysis, design and management
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Experiments on quality evaluation of embedded software in Japan robot software design contest
Proceedings of the 28th international conference on Software engineering
Tutorial: an overview of UML 2
Proceedings of the 28th international conference on Software engineering
Modular hierarchies of models for embedded systems
Formal methods and models for system design
Actor-oriented models for codesign: balancing re-use and performance
Formal methods and models for system design
Mode: a method for system-level architecture evaluation
Formal methods and models for system design
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Integrating schedulability analysis with UML-RT
Control and Intelligent Systems
Using resemblance to support component reuse and evolution
Proceedings of the 2006 conference on Specification and verification of component-based systems
Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
Inspecting designs in the context of model-driven development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling real-time communication systems: Practices and experiences in Motorola
Journal of Visual Languages and Computing
Journal of Visual Languages and Computing
Science of Computer Programming
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Software composition with extended entity-relationship diagrams
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Towards Software Component Procurement Automation with Latent Semantic Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
CyNC: a MATLAB/SimuLink toolbox for network calculus
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Computer Languages, Systems and Structures
Increasing the determinism in real-time operating systems for ERC32 architecture
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Advanced steps with standardized languages in the re-engineering process
Computer Standards & Interfaces
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
Statechart features and pre-release maintenance defects
Journal of Visual Languages and Computing
Verification of scope-dependent hierarchical state machines
Information and Computation
Model-driven architecture for embedded software: A synopsis and an example
Science of Computer Programming
Checking Interaction Consistency in MARMOT Component Refinements
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Reusable Services and Semi-automatic Service Composition for Automotive Software
Model-Driven Development of Reliable Automotive Services
Modelling the CoCoME with the Java/A Component Model
The Common Component Modeling Example
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Personal reflections on automation, programming culture, and model-based software engineering
Automated Software Engineering
IWSM/Metrikon/Mensura '08 Proceedings of the International Conferences on Software Process and Product Measurement
Reconciling statechart semantics
Science of Computer Programming
Control system for cogenerative power plants
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
Optimization system for operation of gas cogeneration power plant
ECC'08 Proceedings of the 2nd conference on European computing conference
Secured Information System for Concurrent Engineering Applications
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
Automatic system for optimization of operation of a gas cogeneration power plant
ICS'08 Proceedings of the 12th WSEAS international conference on Systems
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
MADAMS: A software architecture for the management of networked measurement services
Computer Standards & Interfaces
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Encapsulation of UML Activities for Incremental Development and Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Control in printing systems: modular reconfigurable media paths
ACC'09 Proceedings of the 2009 conference on American Control Conference
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
On Message Specifications in OCL
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving objects from use cases in real-time embedded systems
Information and Software Technology
Data & Knowledge Engineering
Hierarchical and recursive state machines with context-dependent properties
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Towards UML-based formal specifications of component-based real-time software
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Heaven or hell? a "Real-time" UML? panel
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Towards a UML profile for software architecture descriptions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Architectural design, behavior modeling and run-time verification of network embedded systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A classification of stereotypes for object-oriented modeling languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On the behavior of complex object-oriented systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling hard real time systems with UML the OOHARTS approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
SDL as UML: why and what panel
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
How can a subsystem be both a package and a classifier?
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Timed sequence diagrams and tool-based analysis: a case study
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Structuring very large domain models: experiences from industrial MDSD projects
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
Journal of Computer and System Sciences
Performance concerns of polymorphism in modelling domain variability in real-time systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Hardware/software specification, design and test using a system level approach
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
UCM-ROOM modelling: from use case maps to communicating state machines
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Systems modeling, simulation and analysis using COVERS active objects
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
CHaRy: the C-LAB hard real-time system to support mechatronical design
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Evaluating evolvability of computer based systems architectures - an ontological approach
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
HIGHROBOT: a high-performance universal robot control on parallel workstations
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Scalable real-time system design using preemption thresholds
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A survey of dynamic software metrics
Journal of Computer Science and Technology
Unambiguous UML composite structures: the OMEGA2 experience
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Prototyping distributed multimedia systems using communicating real-time state machines
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Graph-based structural analysis for telecommunication systems
Graph transformations and model-driven engineering
Mining message sequence graphs
Proceedings of the 33rd International Conference on Software Engineering
Engineering android applications based on UML activities
Proceedings of the 14th international conference on Model driven engineering languages and systems
Collaborative refactoring: results of an empirical study using grounded theory
CRIWG'11 Proceedings of the 17th international conference on Collaboration and technology
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A dynamic assertion-based verification platform for validation of UML designs
ACM SIGSOFT Software Engineering Notes
Requirements engineering as a key to holistic software quality
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Component-Based hazard analysis: optimal designs, product lines, and online-reconfiguration
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
The implementation of web-based score processing system for WBI
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and its Applications - Volume Part I
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
A reference control architecture for service robots implemented on a climbing vehicle
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
The implementation of component based web courseware in middleware systems
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
A connector interaction for software component composition with message central processing
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Refinement patterns for hierarchical UML state machines
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Component-Based design of embedded software: an analysis of design issues
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
An automated dependability analysis method for COTS-based systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Comparing UML 2.0 interactions and MSC-2000
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Checking the validity of scenarios in UML models
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Model-Based identification of fault-prone components
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Real-Time scheduling techniques for implementation synthesis from component-based software models
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Application of real-time object-oriented modeling technique for real-time computer control
ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
Model-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A UML profile for asynchronous hardware design
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Developing tools with fujaba XProM
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Systematic integration between requirements and architecture
Software Engineering for Multi-Agent Systems III
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
COCONES: an approach for components and contracts in embedded systems
Component-Based Software Development for Embedded Systems
Specification and evaluation of safety properties in a component-based software engineering process
Component-Based Software Development for Embedded Systems
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
A formal component framework for distributed embedded systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Combining problem frames and UML in the description of software requirements
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
A taxonomy on component-based software engineering methods
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
An overview of the mensurae language: specifying business processes
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Dynamic service composition and deployment with openrichservices
Software Service and Application Engineering
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
H: A component-based specification language for heterogeneous applications
Computer Standards & Interfaces
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Comparative analysis of real time resource access control protocols using UML 2.0
ACM SIGSOFT Software Engineering Notes
Reverse extraction of protocol model from network applications
International Journal of Internet Protocol Technology
Hi-index | 0.04 |