Sciweavers

2835 search results - page 126 / 567
» Imperfect Requirements in Software Development
Sort
View
CAISE
2001
Springer
14 years 2 months ago
Objects Control for Software Configuration Management
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
Jacky Estublier
TPHOL
1998
IEEE
14 years 2 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
CHES
2006
Springer
179views Cryptology» more  CHES 2006»
14 years 2 months ago
Offline Hardware/Software Authentication for Reconfigurable Platforms
Abstract. Many Field-Programmable Gate Array (FPGA) based systems utilize third-party intellectual property (IP) in their development. When they are deployed in non-networked envir...
Eric Simpson, Patrick Schaumont
ICEIS
2009
IEEE
13 years 8 months ago
Pattern-Based Refactoring of Legacy Software Systems
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...
Sascha Hunold, Björn Krellner, Thomas Rauber,...
ASWEC
2007
IEEE
14 years 4 months ago
Improving Usability of Software Refactoring Tools
Post-deployment maintenance and evolution can account for up to 75% of the cost of developing a software system. Software refactoring can reduce the costs associated with evolutio...
Erica Mealy, David A. Carrington, Paul A. Strooper...