Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
A semantic and methodological essence of message sequence charts
Science of Computer Programming
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Challenges in automotive software engineering
Proceedings of the 28th international conference on Software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An analysis of the Ariane 5 flight 501 failure - a system engineering perspective
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
ADNTIIC'10 Proceedings of the First international conference on Advances in new technologies, interactive interfaces, and communicability
Functional safety based on a system reference model
ASSC '12 Proceedings of the Australian System Safety Conference - Volume 145
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
| Hi-index | 4.10 |
Tackling the daunting challenges of complex software systems development requires a broad stream of research supported by several new technical competencies, including a goodunderstanding of system modeling, the effective use of models, and a modeling theory ofdiscrete event systems.