1148 search results - page 129 / 230 » WebML modelling in UML |
116
click to vote
PPPJ
2006
ACM
15 years 6 months ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
137
Voted
ASE
2006
15 years 24 days ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
125
click to vote
JLP
2006
15 years 21 days ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
99
Voted
ICSE
2003
IEEE-ACM
16 years 25 days ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
118
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...