20655 search results - page 87 / 4131 » Exploring Software Systems |
108
click to vote
JITECH
2008
15 years 2 months ago
2008
In recent years, enterprise system (ES) software markets have been very dynamic. While contemporary customers are increasingly seeking ES solutions that require less and less cust...
126
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
145
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
131
click to vote
WADT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
117
Voted
DEXA
2007
Springer
15 years 8 months ago
2007
Springer
The motivation of this paper is to research the individual and the team levels of knowledge management, in order to unveil prominent knowledge needs, interactions and processes, an...