16725 search results - page 318 / 3345 » Engineering Software Correctness |
170
click to vote
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
141
click to vote
CSEE
2006
Springer
15 years 8 months ago
2006
Springer
Software engineering is a rapidly changing field and new ideas, like agile software development, are emerging. As such, these ideas must be incorporated into software engineering ...
537
click to vote
Lab
The Software Engineering Research Group (GIIS) of the University of Oviedo is composed by 9 researchers, headquartered at the University Campus of Gijón (Spain).
111
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
143
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...