22698 search results - page 161 / 4540 » Modeling in Software Engineering |
152
Voted
WCRE
1998
IEEE
15 years 7 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...
105
click to vote
SEFM
2007
IEEE
15 years 9 months 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...
107
click to vote
LPAR
2005
Springer
15 years 9 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...
113
Voted
VSTTE
2005
Springer
15 years 9 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....
131
Voted
ICWE
2007
Springer
15 years 9 months 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...