Embedded real-time systems
Real-time object-oriented modeling
Real-time object-oriented modeling
Specification and design of embedded systems
Specification and design of embedded systems
Foundations of parallel programming
Foundations of parallel programming
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Object-oriented cosynthesis of distributed embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Yin and yang in computer science
Communications of the ACM
Scenarios in System Development: Current Practice
IEEE Software
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Structured Analysis and System Specification
Structured Analysis and System Specification
Salvation from System Complexity
Computer
The usage of stochastic processes in embedded system specifications
Proceedings of the ninth international symposium on Hardware/software codesign
Functional abstraction driven design space exploration of heterogeneous programmable architectures
Proceedings of the 14th international symposium on Systems synthesis
A Metamodel for Studying Concepts in Electronic System Design
IEEE Design & Test
System Level Specification in Lava
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A property based specification formalism classification
Journal of Systems and Software
| Hi-index | 0.00 |