2631 search results - page 176 / 527 » Software Development with Code Maps |
130
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
We present the first IDE augmented with static detection of inconsistent paths for simplifying the development and debugging of any application involving XPath expressions. Categ...
129
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Reuse of existing libraries simplifies software development efforts. However, these libraries are often complex and reusing the APIs in the libraries involves a steep learning cu...
149
Voted
PADL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
133
click to vote
SERA
2009
Springer
15 years 10 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
124
Voted
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...