3765 search results - page 371 / 753 » Formal Methods for Systems Engineering Behavior Models |
203
click to vote
FMCO
2003
Springer
16 years 15 hour ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
149
click to vote
QSIC
2005
IEEE
16 years 11 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
278
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Hardware cache behavior is an important factor in the performance of memory-resident, data-intensive systems such as XML filtering engines. A key data structure in several recent ...
197
click to vote
IDEAS
2003
IEEE
16 years 2 days ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
165
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...