1005 search results - page 102 / 201 » Formal Software Development in MAYA |
144
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
142
click to vote
JAPLL
2006
15 years 4 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
137
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
143
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
140
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility...