4258 search results - page 425 / 852 » Languages and Interactive Software Development |
150
click to vote
IEEEICCI
2006
IEEE
15 years 11 months ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To ful...
135
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
125
click to vote
METRICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
141
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
152
Voted
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
Buffer overflow is known to be a common memory vulnerability affecting software. It is exploited to gain various kinds of privilege escalation. C and C++ are very commonly used to ...