203 search results - page 18 / 41 » A New Notation for Arrows |
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...
RSP
2005
IEEE
14 years 1 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
EWSA
2005
Springer
14 years 1 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
APWEB
2004
Springer
14 years 1 months ago
2004
Springer
XML is becoming the de-facto standard for exchanging information in distributed applications and services. This has resulted in the development of a large number of XML documents w...
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
14 years 1 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...