9018 search results - page 331 / 1804 » 3D-Brain Model Software |
119
click to vote
WCRE
1996
IEEE
15 years 9 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
122
Voted
ICSE
1994
IEEE-ACM
15 years 9 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
167
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
137
click to vote
SNPD
2008
15 years 6 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
116
click to vote
IEPOL
2006
15 years 5 months ago
2006
This paper develops a simple model of software piracy to analyze the short-run effects of piracy on software usage and the long-run effects on development incentives. We consider ...