2253 search results - page 9 / 451 » An Approach to Specifying Software Frameworks |
FORTE
2007
13 years 10 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
SOCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
ISSE
2007
13 years 8 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
COMPSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
RE
2007
Springer
14 years 2 months ago
2007
Springer
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...