A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Frequency interleaving as a codesign scheduling paradigm
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
IEEE Transactions on Software Engineering
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
| Hi-index | 0.00 |