Supporting evolution and maintenance by using a flexible automatic code generator
Proceedings of the 17th international conference on Software engineering
Mapping statechart models onto an FPGA-based ASIP architecture
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
Finite state machine based: SDL
Formal methods for distributed processing
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Automated Software Engineering
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Generic Engineering of Communication Protocols - Current Experience and Future Issues
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Catalyst: A DSIP Design Flow Development in Industry
Proceedings of the 12th international symposium on System synthesis
Increasing quality of conceptual models: is object-oriented analysis that simple?
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Service discovery and component reuse with semantic interfaces
SDL'05 Proceedings of the 12th international conference on Model Driven
ICT convergence: modeling issues
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Reactive semantics for distributed UML activities
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Session initiation as a service
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Hi-index | 0.00 |