977 search results - page 46 / 196 » Formal methods integration in software engineering |
160
click to vote
SEMWEB
2009
Springer
16 years 15 days ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
182
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
159
click to vote
SAFECOMP
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
170
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
106
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...