1481 search results - page 22 / 297 » Enriching the Software Development Process by Formal Methods |
129
click to vote
CAISE
1995
Springer
15 years 6 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
164
click to vote
AC
2007
Springer
15 years 3 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...
134
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
120
click to vote
XPU
2007
Springer
15 years 9 months ago
2007
Springer
The current agile software development methods do not seem to address usability and interaction design issues enough, i.e., the interaction design process may remain implicit. Howe...
124
click to vote
JSS
2002
15 years 2 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...