1481 search results - page 65 / 297 » Enriching the Software Development Process by Formal Methods |
116
Voted
PR
2007
15 years 2 months ago
2007
A major challenge in developing advanced thermal processess based on electromagnetic heating is to determine the location of cold spots in foods. A rapid and reliable method was d...
124
click to vote
COMPSAC
2003
IEEE
15 years 8 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...
137
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
95
Voted
XPU
2009
Springer
15 years 10 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
120
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...