Sciweavers

871 search results - page 3 / 175
» Specification of Coordinated Behaviour in the Software Devel...
Sort
View
CCS
2006
ACM
15 years 3 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen
APAQS
2001
IEEE
15 years 3 months ago
A Specific Software Development Process for an Electronic Commerce Portal
The development of electronic commerce or electronic business systems (EC/EB systems) is subject to different conditions than the development of conventional software systems. Thu...
Volker Gruhn, Lothar Schöpe, Matthias Book
93
Voted
APN
2008
Springer
15 years 1 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
FSEN
2009
Springer
15 years 3 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz