4469 search results - page 629 / 894 » A Language for Role Specifications |
189
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
165
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
169
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
158
click to vote
SOSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
164
click to vote
QSIC
2007
IEEE
16 years 25 days ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...