4258 search results - page 263 / 852 » Languages and Interactive Software Development |
184
click to vote
ERLANG
2004
ACM
16 years 1 days ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
186
click to vote
ICSE
1989
IEEE-ACM
15 years 10 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
169
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...
193
click to vote
PADL
2005
Springer
16 years 2 days 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...
177
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...