1886 search results - page 131 / 378 » Modeling and Enacting Software Processes Using VRPML |
134
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...
103
Voted
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
121
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
133
Voted
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
136
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
Product Line Engineering is being accepted as a representative software reuse methodology by using core assets and product line architecture is known as a key element of core asset...