2364 search results - page 77 / 473 » An Engine for Computing Well-Founded Models |
139
Voted
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
142
click to vote
IWSAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
124
click to vote
ASM
2010
ASM
16 years 27 days ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
128
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
121
click to vote
BIRTHDAY
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...