1575 search results - page 86 / 315 » Constraining Software Evolution |
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
JUCS
2007
14 years 9 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
167
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
A multi-tenant database system for Software as a Service (SaaS) should offer schemas that are flexible in that they can be extended for different versions of the application and d...
BMCBI
2005
14 years 9 months ago
2005
Background: Dekapentagonal maps depict the phylogenetic relationships of five genomes in a visually appealing diagram and can be viewed as an alternative to a single evolutionary ...
WSC
1997
14 years 11 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...