1037 search results - page 2 / 208 » Lightweight Languages as Software Engineering Tools |
91
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
87
Voted
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
CODECRAWLER (in the remainder of the text CC) is a language independent, interactive, information visualization tool. It is mainly targeted at visualizing object-oriented software...
59
Voted
TOOLS
1994
IEEE
15 years 5 months ago
1994
IEEE
81
Voted
RE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.
122
Voted
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...