22698 search results - page 161 / 4540 » Modeling in Software Engineering |
197
click to vote
WCRE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
152
click to vote
SEFM
2007
IEEE
16 years 20 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
146
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
148
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
165
click to vote
ICWE
2007
Springer
16 years 16 days ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...