496 search results - page 66 / 100 » Concept Lattices in Software Analysis |
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
Ê Among the many ways to focus CS1/CS2 content, two have been published that emphasize concepts of component-based software engineering. Courses based on these two instances of a ...
APSEC
2007
IEEE
14 years 3 days ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
ECLIPSE
2005
ACM
13 years 10 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
ISSTA
2000
ACM
14 years 14 days ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
In the mid-nineties, mobile code was on the rise and, in particular, there was a growing interest in autonomously moving code components, called mobile agents. In 1997, we publish...