1481 search results - page 83 / 297 » Enriching the Software Development Process by Formal Methods |
130
Voted
ICSE
2004
IEEE-ACM
15 years 8 months ago
2004
IEEE-ACM
Rapid change and increasing software criticality drive successful development and acquisition organizations to balance the agility and discipline of their key processes. The emerg...
113
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
121
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
129
Voted
UML
1999
Springer
15 years 7 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
132
click to vote
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...