9018 search results - page 325 / 1804 » 3D-Brain Model Software |
158
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
118
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...
122
click to vote
MSR
2005
ACM
15 years 10 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
138
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
127
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...