Sciweavers

526 search results - page 18 / 106
» PLEIADES: An Object Management System for Software Engineeri...
Sort
View
SEKE
2001
Springer
14 years 26 days ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
ISESE
2005
IEEE
14 years 2 months ago
Managing software change tasks: an exploratory study
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intende...
Jonathan Sillito, Kris De Volder, Brian Fisher, Ga...
SIGSOFT
2000
ACM
14 years 24 days ago
Accumulative versioning file system Moraine and its application to metrics environment MAME
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
Tetsuo Yamamoto, Makoto Matsushita, Katsuro Inoue
ICSE
2003
IEEE-ACM
14 years 8 months ago
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
Jennifer Z. Guan, Luqi
WCRE
1999
IEEE
14 years 22 days ago
A Tool for Securely Integrating Legacy Systems into a Distributed Environment
Legacy systems provide services that remain useful beyond the means of the technology in which they were originally implemented. Our Legacy Wrapper tool packages the services of a...
Timothy S. Souder, Spiros Mancoridis