1390 search results - page 196 / 278 » A Methodology for Requirements Engineering Process Developme... |
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
204
click to vote
SIGMOD
2005
ACM
16 years 13 hour ago
2005
ACM
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
111
click to vote
XPU
2007
Springer
15 years 6 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
COMPSAC
2003
IEEE
15 years 5 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...