383 search results - page 19 / 77 » Testing Concurrent Systems: A Formal Approach |
ENTCS
2008
14 years 9 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
CMSB
2004
Springer
15 years 2 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
SIGSOFT
2001
ACM
15 years 10 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
TSE
2002
14 years 9 months ago
2002
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
VLSID
1999
IEEE
15 years 1 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...