289 search results - page 2 / 58 » Automating Checking of Models Built Using a Graphically Base... |
124
Voted
FMAM
2010
15 years 5 days ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
132
click to vote
UML
2000
Springer
15 years 5 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
121
click to vote
WWW
2002
ACM
16 years 2 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
117
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
134
Voted
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...