Sciweavers

5182 search results - page 234 / 1037
» COTS-Based Requirements Engineering
Sort
View
SIGSOFT
2010
ACM
15 years 5 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
CSMR
2010
IEEE
15 years 2 months ago
ROMULUS: Domain Driven Design and Mashup Oriented Development Based on Open Source Java Metaframework for Pragmatic, Reliable an
Web software development is one of the most active areas and fastest growing industries in software and services development in Europe, and, in particular, Java Enterprise Edition ...
Boni García, Juan C. Dueñas, Jos&eac...
SOCO
2011
Springer
15 years 2 months ago
A novel approach to annotating web service based on interface concept mapping and semantic expansion
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
Guobing Zou, Yang Xiang, Yanglan Gan, Yixin Chen
JMLR
2010
157views more  JMLR 2010»
15 years 2 months ago
Causality Challenge: Benchmarking relevant signal components for effective monitoring and process control
A complex modern manufacturing process is normally under consistent surveillance via the monitoring of signals/variables collected from sensors. However, not all of these signals ...
Michael McCann, Yuhua Li, Liam P. Maguire, Adrian ...
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis