Sciweavers

2597 search results - page 64 / 520
» A Relational Approach to Support Software Architecture Analy...
Sort
View
ECTEL
2009
Springer
15 years 2 months ago
The Conceptual and Architectural Design of a System Supporting Exploratory Learning of Mathematics Generalisation
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
Darren Pearce, Alexandra Poulovassilis
JCIT
2008
136views more  JCIT 2008»
14 years 9 months ago
ARMMS - Architecture Reference Model for Multilingual Software
Multilingual software development is put in limelight due to the globalization efforts of the organization. But these development approaches do not have any reference model or fra...
V. Prasanna Venkatesan, S. Kuppuswami
TAP
2008
Springer
153views Hardware» more  TAP 2008»
14 years 9 months ago
Bounded Relational Analysis of Free Data Types
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
ICSE
2008
IEEE-ACM
15 years 10 months ago
The international workshop on software architectures and mobility (SAM 2008)
E-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, ...
Licia Capra, Rami Bahsoon, Wolfgang Emmerich, Moha...
SCAM
2003
IEEE
15 years 3 months ago
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
Chris Verhoef