631 search results - page 86 / 127 » Deriving Specifications from Requirements: An Example |
ECSQARU
2005
Springer
14 years 28 days ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
OTM
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
CDC
2009
IEEE
14 years 3 days ago
2009
IEEE
— We consider the design of optimal static feedback gains for interconnected systems subject to architectural constraints on the distributed controller. These constraints are in ...
AMAST
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
DL
1994
Springer
13 years 11 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...