Sciweavers

4408 search results - page 550 / 882
» Developing Web Applications from Conceptual Models
Sort
View
OOIS
2001
Springer
15 years 11 months ago
Towards a Model-Driven Approach to Reuse
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
Robert B. France, Sudipto Ghosh, Daniel E. Turk
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 10 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
LADS
2007
Springer
16 years 25 days ago
DCaseLP: A Prototyping Environment for Multi-language Agent Systems
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
Viviana Mascardi, Maurizio Martelli, Ivana Gungui
GC
2004
Springer
16 years 2 days ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
ASPDAC
1998
ACM
160views Hardware» more  ASPDAC 1998»
15 years 11 months ago
Synthesis of Power Efficient Systems-on-Silicon
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...