620 search results - page 28 / 124 » Tool support for component-based semantics |
MSR
2005
ACM
15 years 5 months ago
2005
ACM
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 5 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
CW
2005
IEEE
15 years 1 months ago
2005
IEEE
This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...
ASM
2008
ASM
15 years 1 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
OHS
2001
Springer
15 years 4 months ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...