8627 search results - page 124 / 1726 » Software Engineering Using RATionale |
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
This paper describes E-Slate (http://E-Slate.cti.gr), an exploratory learning environment that builds on a componentbased approach, to enable end-users to create educational softw...
WCRE
1999
IEEE
15 years 3 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
119
click to vote
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
EDOC
2007
IEEE
15 years 5 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...