Sciweavers

3255 search results - page 195 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
CODES
2007
IEEE
15 years 8 months ago
Synchronization after design refinements with sensitive delay elements
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
ICSM
2000
IEEE
15 years 8 months ago
Bridging Program Comprehension Tools by Design Navigation
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...
Sébastien Robitaille, Reinhard Schauer, Rud...
EDBTW
2010
Springer
15 years 11 months ago
Toward a software development methodology for anonymity applications
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
Marzieh Ispareh, Behrouz Tork Ladani, Shirin Shari...
ICSE
1993
IEEE-ACM
15 years 8 months ago
Automating the Detection of Reusable Parts in Existing Software
Wepresent a model based onan expert-systemapproach for the scavenging of reusable componentsfrom exis:ing software systems. We also describe a toolset called Code Miner that imple...
Michael F. Dunn, John C. Knight
IICAI
2007
15 years 5 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss