Sciweavers

1180 search results - page 41 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
161
Voted
AAIP
2009
15 years 1 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
Thomas Hieber, Martin Hofmann 0008
ICSEA
2008
IEEE
15 years 7 months ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
99
Voted
ISSRE
2008
IEEE
15 years 7 months ago
The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models
Project managers use inspection data as input to capture-recapture (CR) models to estimate the total number of faults present in a software artifact. The CR models use the number ...
Gursimran Singh Walia, Jeffrey C. Carver
VLSI
2005
Springer
15 years 6 months ago
Modeling the Traffic Effect for the Application Cores Mapping Problem onto NoCs
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
César A. M. Marcon, José Carlos S. P...
96
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
Extended exceptions for contingencies and their implications for the engineering process
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
Thorsten van Ellen, Wilhelm Hasselbring