696 search results - page 43 / 140 » Model driven development with Ada |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Probably one of the most difficult tasks in the development of a Service Oriented Architecture (SOA) is how to obtain well designed Web Services. In this work, we present...
SEUS
2007
IEEE
14 years 2 months ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context information and adapting systems behavior accordingly. Sev...
PST
2008
13 years 9 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
WSC
2001
13 years 9 months ago
2001
The paper presents a database-based method to reduce the development time and project lead-time for large discreteevent simulation models of entire factories. The database used to...