848 search results - page 2 / 170 » A Formal Monitoring-Based Framework for Software Development... |
TII
2010
13 years 5 days ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
ECEASST
2006
13 years 5 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
IRI
2003
IEEE
13 years 10 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
CCS
2003
ACM
13 years 10 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...