1148 search results - page 123 / 230 » WebML modelling in UML |
140
Voted
ISPDC
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
116
click to vote
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
90
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
108
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
UML
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...