284 search results - page 11 / 57 » Formal Foundation for Pattern-Based Modelling |
113
click to vote
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
113
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
151
Voted
SSD
1993
Springer
15 years 4 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
121
Voted
SCP
2010
14 years 11 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
134
click to vote
WSE
2002
IEEE
15 years 5 months ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...