4036 search results - page 360 / 808 » Formal Methods |
178
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
174
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
182
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
199
click to vote
ENTCS
2006
15 years 6 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
212
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...