977 search results - page 68 / 196 » Formal methods integration in software engineering |
131
click to vote
RE
2009
Springer
15 years 10 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
139
Voted
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
154
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
112
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
138
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...