Sciweavers

16725 search results - page 693 / 3345
» Engineering Software Correctness
Sort
View
ICSR
2009
Springer
16 years 2 months ago
Extending FeatuRSEB with Concepts from Systems Engineering
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
John M. Favaro, Silvia Mazzini
ECOWS
2007
Springer
16 years 1 months ago
Model-Driven Performance Evaluation for Service Engineering
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
Claus Pahl, Marko Boskovic, Wilhelm Hasselbring
196
Voted
ADAEUROPE
2006
Springer
16 years 1 months ago
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
Aoun Raza, Gunther Vogel, Erhard Plödereder
WCRE
2000
IEEE
15 years 11 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
ACL
2011
14 years 11 months ago
Piggyback: Using Search Engines for Robust Cross-Domain Named Entity Recognition
We use search engine results to address a particularly difficult cross-domain language processing task, the adaptation of named entity recognition (NER) from news text to web que...
Stefan Rüd, Massimiliano Ciaramita, Jens M&uu...