803 search results - page 95 / 161 » Building Formal Models for Software Requirements |
159
click to vote
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
133
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
146
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
152
click to vote
COMMA
2006
15 years 5 months ago
2006
Abstract. In 2005, Gordon and Walton presented initial ideas for a computational model of defeasible argument [12, 26], which builds on and elaborates Walton's theory of argum...
118
Voted
SOSE
2008
IEEE
15 years 10 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...