2030 search results - page 59 / 406 » Designing Complex Software Implementation Programs |
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
Java is the canonical language for teaching introductory programming, but its complex syntax and abundance of constructs are difficult for beginners to learn. This paper shows how...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
SE
2007
13 years 9 months ago
2007
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
SNPD
2008
13 years 9 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...