WCRE
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
RE
2002
Springer
13 years 4 months ago
2002
Springer
Abstract. Few requirements engineering techniques are widely applied in industry. This can
ENTCS
2002
13 years 4 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
CAISE
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. This paper focuses on the sales and distribution phase in eHome systems. The huge market potential for affordable solutions leads to a multiplicity in terms of millions o...
ECOOP
2007
Springer
13 years 8 months ago
2007
Springer
Modern integrated development environments, such as ECLIPSE, provide automated or semi-automated refactoring support. Despite this support, refactorings are often done manually --...
DAC
1996
ACM
13 years 8 months ago
1996
ACM
Deep sub-micron processing technologies have enabled the implementation of new application-specificembeddedarchitecturesthat integrate multiple software programmable processors (e...
ICSM
2000
IEEE
13 years 9 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...