Sciweavers

1398 search results - page 153 / 280
» Teaching Software Maintenance
Sort
View
IASTEDSEA
2004
13 years 11 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij
BMCBI
2007
94views more  BMCBI 2007»
13 years 10 months ago
Lightweight genome viewer: portable software for browsing genomics data in its chromosomal context
Background: Lightweight genome viewer (lwgv) is a web-based tool for visualization of sequence annotations in their chromosomal context. It performs most of the functions of large...
Jeremiah J. Faith, Andrew J. Olson, Timothy S. Gar...
CSCW
2011
ACM
13 years 5 months ago
"Not my bug!" and other reasons for software bug report reassignments
Bug reporting/fixing is an important social part of the software development process. The bug-fixing process inherently has strong inter-personal dynamics at play, especially in h...
Philip J. Guo, Thomas Zimmermann, Nachiappan Nagap...
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
14 years 3 months ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev
RTCSA
1998
IEEE
14 years 2 months ago
Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Je...