373 search results - page 8 / 75 » Empowering Software Development Environments by Automatic So... |
CSCW
2004
ACM
15 years 2 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
KBSE
1994
IEEE
15 years 1 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...
109
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
IADIS
2008
14 years 11 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
ISSRE
2000
IEEE
15 years 1 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...