Sciweavers

89 search results - page 10 / 18
» Towards a Dependency Constraint Language to Manage Software ...
Sort
View
ANSOFT
2002
159views more  ANSOFT 2002»
14 years 11 months ago
Using Component-Based Development and Web Technologies to Support a Distributed Data Management System
Over recent years, "Internet-able" applications have been used to support domains where distributed functionality is essential. This flexibility is also pertinent in situ...
M. Brian Blake, Gail Hamilton, Jeffrey Hoyt
CIDR
2009
126views Algorithms» more  CIDR 2009»
15 years 22 days ago
Declarative Reconfigurable Trust Management
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement ...
William R. Marczak, David Zook, Wenchao Zhou, Molh...
IFIP
2007
Springer
15 years 5 months ago
Towards UML-Intensive Framework for Model-Driven Development
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
Darius Silingas, Ruslanas Vitiutinas
JSAT
2010
87views more  JSAT 2010»
14 years 6 months ago
The Sat4j library, release 2.2
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
Daniel Le Berre, Anne Parrain
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 4 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...