1579 search results - page 193 / 316 » A software development process supporting non-functional pro... |
123
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
141
click to vote
ASWEC
2006
IEEE
15 years 11 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...
153
Voted
COMPSAC
2003
IEEE
15 years 11 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...
166
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Protein folding rate is an important property of a protein. Predicting protein folding rate is useful for understanding protein folding process and guiding protein des...
134
Voted
HICSS
2007
IEEE
15 years 12 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...