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...
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...