977 search results - page 36 / 196 » Formal methods integration in software engineering |
136
click to vote
ESEM
2010
ACM
15 years 4 months ago
2010
ACM
Synthesizing the evidence from a set of studies that spans many countries and years, and that incorporates a wide variety of research methods and theoretical perspectives, is prob...
154
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
239
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
169
click to vote
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
-- Published work in the IT services area is generally centered on the description of management best practices or specific technological issues. There is a lack of empirical studi...
146
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...