2836 search results - page 88 / 568 » Model Checking for Software Architectures |
154
Voted
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...
107
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
We will demonstrate ArchStudio, an environment for software architecture modeling and meta-modeling. We will also showcase a set of innovative architecturecentric applications tha...
108
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
164
Voted
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
146
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...