1350 search results - page 125 / 270 » Is there a future for empirical software engineering |
147
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
130
click to vote
CISIS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— In this paper, we integrate the traditional finitestate automata (words, or string based) into the membrane computing paradigm, as previous work prevalently concentrat...
150
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
131
click to vote
COMPSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
The recent explosion in distance learning programs on the world-wide web has spawned a lively debate on the future and the potential of these programs. While distance learning wil...
168
click to vote
COMPSAC
2007
IEEE
16 years 13 days ago
2007
IEEE
Software that runs in the network environment is facing with many challenges. One of them is the dynamic feature of the network. To keep the quality of service, the service entity...