1376 search results - page 77 / 276 » Model-Driven Software Verification |
108
Voted
PLPV
2010
ACM
15 years 4 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
151
Voted
SCESM
2006
ACM
15 years 8 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
133
Voted
AOSE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
100
Voted
JSW
2007
15 years 2 months ago
2007
— Software is often constructed using a layered approach to encapsulate various functionality in corresponding layers. Individual requirements of each layer demand layer specifi...
105
Voted
VMCAI
2010
Springer
16 years 1 days ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...