Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A codesign virtual machine for hierarchical, balanced hardware/software system modeling
Proceedings of the 37th Annual Design Automation Conference
UML extensions for the specification and evaluation of latency constraints in architectural models
Proceedings of the 2nd international workshop on Software and performance
Design patterns and real-time object-oriented modeling (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
An approach to schedulability analysis of UML-based real-time systems design
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Developing a Mobile Robot Control Application with CommonKADS-RT
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Deployment of SDL Systems Using UML
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
On the Definition of a Framework for an Architecting Process Supporting Product Family Development
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
Reliability-Oriented Product Line Engineering of Embedded Systems
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
An object pattern for computer user interface systems
Information processing and technology
Universal Object-Oriented Modeling for Rapid Prototyping of Embedded Electronic Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Fine grained patterns for real-time systems
UML for real
Schedulability analysis with UML
UML for real
Adaptable architecture generation for embedded systems
Journal of Systems and Software - Special issue: Computer systems
Object-oriented modeling and synthesis of SystemC specifications
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Real-time system modeling with ACCORD/UML methodology: illustration through an automotive case study
Languages for system specification
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Component Failure Mitigation According to Failure Type
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
A contract-based approach to designing safe systems
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Soft-error classification and impact analysis on real-time operating systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Identifying "good" architectural design alternatives with multi-objective optimization strategies
Proceedings of the 28th international conference on Software engineering
Integrating schedulability analysis with UML-RT
Control and Intelligent Systems
Modeling real-time communication systems: Practices and experiences in Motorola
Journal of Visual Languages and Computing
Modeling distributed real-time applications with specification PEARL
Real-Time Systems
Towards An Integration Of Different Specification Methods By Using The Viewpoint Framework
Journal of Integrated Design & Process Science
Safety, software architecture and MIL-STD-1760
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Embedded systems courses at RIT
WCAE '05 Proceedings of the 2005 workshop on Computer architecture education: held in conjunction with the 32nd International Symposium on Computer Architecture
A reconfigurable concurrent function block model and its implementation in real-time Java
Integrated Computer-Aided Engineering
A software fault tree key node metric
Journal of Systems and Software
Safety analysis of software product lines using state-based modeling
Journal of Systems and Software
Journal of Systems and Software
Computer Languages, Systems and Structures
Design patterns for real-time distributed control system benchmarking
Robotics and Computer-Integrated Manufacturing
The Object-Oriented Protocol for Data Exchange and Control in Computational-Diverse Embedded Systems
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
A Model Driven Approach to the Analysis of Timeliness Properties
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
Journal of Signal Processing Systems
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
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
A requirements patterns-driven approach to specify systems and check properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
Experience and challenges with UML-driven performance engineering of a Distributed Real-Time System
Information and Software Technology
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
ArchMDE approach for the development of embedded real time systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Real-time embedded software design for mobile and ubiquitous systems
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Scalable real-time system design using preemption thresholds
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Model interoperability via Model Driven Development
Journal of Computer and System Sciences
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Large Scale Semantic Access to Content (Text, Image, Video, and Sound)
Evaluating a new communication protocol for real-time distributed control
Robotics and Computer-Integrated Manufacturing
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Integrating interaction design and log analysis: bridging the gap with UML, XML and XMI
Journal of Web Engineering
Synthesized UML, a practical approach to map UML to VHDL
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
A systematic approach to developing safe tele-operated robots
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Managing architectural design decisions for safety-critical software systems
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
A gradually proceeded software architecture design process
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Object-oriented software loading and upgrading techniques for embedded and distributed system
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
A proxy design pattern to support real-time distributed control system benchmarking
HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing
Extending the UML with a multicast synchronisation
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Real-Time coordination patterns for advanced mechatronic systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Proceedings of the 17th Conference on Pattern Languages of Programs
Hi-index | 0.00 |