Sciweavers

8083 search results - page 142 / 1617
» A Formalization of Software Architecture
Sort
View
OTM
2005
Springer
15 years 9 months ago
A Meta-ontological Architecture for Foundational Ontologies
Abstract. In this paper we present and discuss a meta-ontological archifor ontologies which centers on abstract core ontologies (ACOs). s the most abstract part of a foundational o...
Heinrich Herre, Frank Loebe
VMCAI
2010
Springer
15 years 10 months ago
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...
SIAMDM
2011
14 years 6 months ago
Counting Independent Sets Using the Bethe Approximation
Venkat Chandrasekaran, Misha Chertkov, David Gamar...
ICRE
2000
IEEE
15 years 8 months ago
Requirements Documentation: Why a Formal Basis is Essential
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
David Lorge Parnas
119
Voted
AMAST
2006
Springer
15 years 7 months ago
Formal Islands
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
Emilie Balland, Claude Kirchner, Pierre-Etienne Mo...