Sciweavers

1021 search results - page 115 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
ECSA
2010
Springer
15 years 4 months ago
A Model for Dynamic Reconfiguration in Service-Oriented Architectures
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
José Luiz Fiadeiro, Antónia Lopes
135
Voted
ASE
2008
120views more  ASE 2008»
15 years 3 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
AOSE
2007
Springer
15 years 6 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
135
Voted
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 7 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck
SIGSOFT
2003
ACM
16 years 3 months ago
Behaviour model elaboration using partial labelled transition systems
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee