134 search results - page 15 / 27 » Formal Software Development in the Verification Support Envi... |
WWW
2005
ACM
14 years 7 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
HCI
2009
13 years 4 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
CBSE
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
ICNP
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...