A proposal for a formal model of objects
Object-oriented concepts, databases, and applications
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Eiffel: the language
The evolution and state-of-the-art of real-time languages
Journal of Systems and Software
Tools for specifying real-time systems
Real-Time Systems - Special issue: history of real-time systems
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Object-Oriented Query Languages: The Notion and the Issues
IEEE Transactions on Knowledge and Data Engineering
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Towards a General Purpose Approach to Object-Oriented Analysis
ISOOMS '94 Proceedings of the International Symposium on Object-Oriented Methodologies and Systems
Object-Oriented Constraint Analysis in Complex Applications
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
An improved process for the development of PLC software
ICSE '97 Proceedings of the 19th international conference on Software engineering
An implementation of an FPGA-based embedded gesture recognizer using a data glove
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Domain specific model-based development of software for programmable logic controllers
Computers in Industry
Hi-index | 0.00 |