1991 search results - page 204 / 399 » Using a Coding Standard to Improve Program Quality |
126
Voted
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
125
Voted
JOT
2006
15 years 2 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
110
Voted
ICESS
2004
Springer
15 years 8 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
121
Voted
IFL
2005
Springer
15 years 8 months ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
132
Voted
HIPEAC
2007
Springer
15 years 6 months ago
2007
Springer
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...