1376 search results - page 38 / 276 » Model-Driven Software Verification |
124
Voted
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
105
click to vote
CCS
2003
ACM
15 years 7 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...
118
click to vote
BDIM
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...
122
Voted
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
119
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...