: We present our refactoring plug-ins for Eclipse’s Ruby Development Tools IDE. Refactoring is a very important technique for every software engineer and a cornerstone of agile s...
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
: Die Service-oriented Architecture (SOA) ermöglicht die Flexibilisierung von Anwendungen durch Einbindung von Diensten zur Laufzeit und durch Verwendung einer Vielzahl von Techno...
: Despite the fact, that testing and integration belong to the most critical and time consuming activities especially in big software development projects, most projects are still ...
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...
Abstract: Studien zeigen, dass in der Industrie großer Verbesserungsbedarf im Bereich der Testprozesse besteht. Um aber die Prozesse gezielt und wirksam verbessern zu können, ist...
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...