348 search results - page 3 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
124
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
119
click to vote
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
148
Voted
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
124
Voted
SAM
2004
15 years 3 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...