2251 search results - page 104 / 451 » Specification and Implementation Problems for C |
94
Voted
ICMI
2005
Springer
15 years 9 months ago
2005
Springer
 Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding ofÂ...
132
Voted
SIGSOFT
1994
ACM
15 years 7 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
133
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
146
Voted
CSMR
2008
IEEE
15 years 5 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
129
click to vote
ENTCS
2008
15 years 3 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...