1005 search results - page 44 / 201 » Formal Software Development in MAYA |
129
click to vote
EUROPLOP
2006
15 years 5 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
149
click to vote
ECEASST
2006
15 years 4 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
135
click to vote
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
174
click to vote
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
140
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
A data–intensive Web application is a Web-enabled software system for the publication and management of large data collections, typically stored in one or more database manageme...