3311 search results - page 464 / 663 » Deductive Object Programming |
131
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
121
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
135
Voted
ECBS
1999
IEEE
15 years 7 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
136
Voted
SIGPLAN
1998
15 years 2 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
128
click to vote
ACSD
2010
IEEE
15 years 20 days ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...