An efficient set of software degree programs for one domain
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Describing software architecture with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Describing software architecture with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Towards consistency-preserving model evolution
Proceedings of the International Workshop on Principles of Software Evolution
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Towards UML-G: A UML Profile for Modeling Groupware
CRIWG '02 Proceedings of the 8th International Workshop on Groupware: Design, Implementation and Use
A Metamodeling Approach to Evolution
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
A Model for Recording Early-Stage Proposals and Decisions on Using COTS Components in Architecture
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Specification of real-time imaging systems using the UML
Real-Time Imaging
Viewpoints of DSP software and service architectures
Journal of Systems and Software
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
Uniform object modeling methodology and reuse of real-time system using UML
Proceedings of the 5th ACM international conference on Embedded software
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Proceedings of the 28th international conference on Software engineering
UML 2: a model-driven development tool
IBM Systems Journal - Model-driven software development
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
Integrating Software Models and Platform Models for Performance Analysis
IEEE Transactions on Software Engineering
Implementing a WLAN video terminal using UML and fully automated design flow
EURASIP Journal on Embedded Systems
Viewing CSP Specifications with UML-RT Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated traceability analysis for UML model refinements
Information and Software Technology
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
ACM Transactions on Software Engineering and Methodology (TOSEM)
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
Maintaining constraints of UML models in distributed collaborative environments
Journal of Systems Architecture: the EUROMICRO Journal
ACC'09 Proceedings of the 2009 conference on American Control Conference
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving objects from use cases in real-time embedded systems
Information and Software Technology
Processes, roles, and events: UML concepts for enterprise architecture
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Heaven or hell? a "Real-time" UML? panel
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Verification of architectural refactorings by rule extraction
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Modeling real-time Tolapai based embedded system using MARTE
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
A Model-Driven Design Framework for Massively Parallel Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
Collaborative refactoring: results of an empirical study using grounded theory
CRIWG'11 Proceedings of the 17th international conference on Collaboration and technology
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Enabling correct design and formal analysis of Ambient Assisted Living systems
Journal of Systems and Software
Uniform support for modeling crosscutting structure
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
Transformation laws for UML-RT
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Toward consistency checking of natural language temporal requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
MARTE profile extension for modeling dynamic power management of embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Symbolic execution of UML-RT State Machines
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Symbolic execution of communicating and hierarchically composed UML-RT state machines
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
M&S-based design of embedded controllers on network processors
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
The less well known UML: a short user guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Facilitating emulation project analysis through the use of protocol state machines
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |