852 search results - page 45 / 171 » Domain Modeling Based on Engineering Standards |
FORTE
2010
13 years 9 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
ICSE
2001
IEEE-ACM
14 years 3 days ago
2001
IEEE-ACM
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
WER
2007
Springer
14 years 1 months ago
2007
Springer
Role-Based Access Control (RBAC) is increasingly used for ensuring security and privacy in complex organizations such as healthcare institutions. In RBAC, access permissions are g...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...