1021 search results - page 62 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
108
click to vote
UML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
SIGSOFT
2006
ACM
15 years 12 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
100
click to vote
RSP
1999
IEEE
15 years 3 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...