803 search results - page 131 / 161 » Building Formal Models for Software Requirements |
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
107
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
157
click to vote
DOCENG
2011
ACM
14 years 1 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
84
Voted
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
113
click to vote
PROMISE
2010
14 years 8 months ago
2010
Background. Currently there are several definitions of measures that should represent the size of software functional requirements. These measures have gained a quite relevant rol...