Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
Subsystem design guidelines for extensible general-purpose software
ISAW '98 Proceedings of the third international workshop on Software architecture
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Turning clockwise: using UML in the real-time domain
Communications of the ACM
Operating system based software generation for systems-on-chip
Proceedings of the 37th Annual Design Automation Conference
Real-Time Object-Oriented Design and Formal Methods
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Enterprise computing environments and cost assessment
Communications of the ACM
Whole program compilation for embedded software: the ADSL experiment
Proceedings of the ninth international symposium on Hardware/software codesign
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Octopus/UML: Combining Objects with Real-Time
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)
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)
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Integrating schedulability analysis with UML-RT
Control and Intelligent Systems
Designing distributed software with RT-CORBA and SDL
Computer Standards & Interfaces
Deriving objects from use cases in real-time embedded systems
Information and Software Technology
Software frameworks and embedded control systems
Software frameworks and embedded control systems
Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
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
Test scenario generation from a structured requirements specification
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
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
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Embedded system design 2.0: rationale behind a textbook revision
WESE '11 Proceedings of the 6th Workshop on Embedded Systems Education
Embedded Systems Design
A UML profile for asynchronous hardware design
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
A spanning tree object-oriented distributed algorithm: specification and proof
Methods'96 Proceedings of the 1996 international conference on Methods Integration
| Hi-index | 0.03 |