10238 search results - page 326 / 2048 » Package-Based Software Development |
217
click to vote
IJES
2006
15 years 7 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
257
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
192
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
200
click to vote
ICDCS
2005
IEEE
16 years 27 days ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...
184
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation results are often needed within a short time frame, while the development of simulation models can be time consuming. We develop a methodology to facilitate rapid gener...