1077 search results - page 19 / 216 » Management of Evolving Specifications using Category Theory |
AINA
2006
IEEE
13 years 11 months ago
2006
IEEE
The paper discusses the potential usage of principles from General System Theory (GST) and Cybernetics for design of Autonomic Software. Motivated by the characteristics of open s...
RE
2005
Springer
14 years 1 months ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
HICSS
2002
IEEE
14 years 22 days ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
EDBTW
2010
Springer
13 years 11 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...