1137 search results - page 25 / 228 » Disciplined Methods of Software Specification: A Case Study |
CSEE
1999
Springer
15 years 1 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
AICCSA
2001
IEEE
15 years 1 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
64
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
DASHlink is a public NASA research collaboration website. Web 2.0 style content generation and social software technologies along with a communitymoderated posting policy make it ...
MATES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...