Sciweavers

1260 search results - page 4 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
CORR
2006
Springer
193views Education» more  CORR 2006»
14 years 9 months ago
On the Design of Agent-Based Systems using UML and Extensions
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
Mihaela Dinsoreanu, Ioan Salomie, Kalman Pusztai
CLEIEJ
2004
106views more  CLEIEJ 2004»
14 years 9 months ago
A Calculus for Reconfigurable Component-Based Systems
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
Cidcley Teixeira de Souza, Paulo Roberto Freire Cu...
BNCOD
2003
97views Database» more  BNCOD 2003»
14 years 11 months ago
ProSQL: A Prototyping Tool for SQL Temporal Language Extensions
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
James Green, Roger Johnson
BIRTHDAY
2010
Springer
14 years 10 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
FDL
2004
IEEE
15 years 1 months ago
UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
Mauro Prevostini, Giuseppe Piscopo, I. Stefanini