977 search results - page 24 / 196 » Formal methods integration in software engineering |
141
Voted
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
138
Voted
FMAM
2010
15 years 1 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
156
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
133
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
125
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...