963 search results - page 161 / 193 » Formal Analysis of BPMN Models Using Event-B |
130
Voted
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
15 years 10 months ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
155
Voted
AADEBUG
1995
Springer
15 years 7 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
143
Voted
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
149
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
143
Voted
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...