2836 search results - page 240 / 568 » Model Checking for Software Architectures |
146
Voted
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
s: Software Foundations Modeling Redundancy: Quantitative and Qualitative Models .......................................................43 Ali Mili............New Jersey Institute ...
139
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
277
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
156
click to vote
WSC
2000
15 years 6 months ago
2000
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
145
Voted
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...