1623 search results - page 84 / 325 » Programming language concepts for software developers |
134
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
137
click to vote
KBSE
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
144
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
126
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
115
click to vote
ICECCS
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...