Parallel expert system search techniques for a real-time application
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Decentralized Decision-Making for Task Reallocation in a Hard Real-Time System
IEEE Transactions on Computers
An object-oriented requirements specifications method
Communications of the ACM
An object-oriented approach to domain analysis
ACM SIGSOFT Software Engineering Notes
Control transformations through Petri Nets
ACM SIGSOFT Software Engineering Notes
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Representing Software Engineering Models: The TAME Goal Oriented Approach
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
Communications of the ACM
Communications of the ACM
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Design for Testability in Hardware-Software Systems
IEEE Design & Test
Focusing Real-Time Systems Analysis on User Operations
IEEE Software
A Tool Shell for Tracking Design Decisions
IEEE Software
Concurrent Engineering for Real-Time Systems
IEEE Software
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
An environment for object-oriented real-time systems design
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
An example of applying the codesign method MOOSE
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Structured analysis and VHDL in embedded ASIC design and verification
EURO-DAC '90 Proceedings of the conference on European design automation
The use of computer-aided software engineering technology in systems and software design
EURO-DAC '90 Proceedings of the conference on European design automation
System generator for producing manufacturing applications
IBM Systems Journal
ACE '05 Proceedings of the 7th Australasian conference on Computing education - Volume 42
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Towards timed automata and multi-agent systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Hi-index | 0.05 |