Sciweavers

2835 search results - page 202 / 567
» Imperfect Requirements in Software Development
Sort
View
ICSM
1995
IEEE
14 years 2 months ago
Detecting interleaving
The various goals and requirements of a system are realized in software as fragments of code that are typically \interleaved" in that they may be woven together in the same c...
Spencer Rugaber, Kurt Stirewalt, Linda M. Wills
JFP
2007
126views more  JFP 2007»
13 years 10 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
ENTCS
2006
176views more  ENTCS 2006»
13 years 10 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
MSR
2011
ACM
13 years 1 months ago
A simpler model of software readability
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
Daryl Posnett, Abram Hindle, Premkumar T. Devanbu
ICSE
1999
IEEE-ACM
14 years 3 months ago
An Architectural Style for Multiple Real-Time Data Feeds
We present an architectural style for the integration of multiple real-time data feeds on Windows-NT platforms. We motivate the development of this style by highlighting different...
Neil Roodyn, Wolfgang Emmerich