10159 search results - page 308 / 2032 » System Design Validation Using Formal Models |
114
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
137
Voted
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
114
Voted
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
120
Voted
TSE
2010
15 years 2 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
120
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...