1606 search results - page 93 / 322 » XML-based programming language modeling: An approach to soft... |
159
click to vote
COMPSAC
2006
IEEE
16 years 2 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
156
click to vote
JSS
2008
15 years 6 months ago
2008
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
143
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
151
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
160
click to vote
IPPS
2007
IEEE
16 years 9 days ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...