Sciweavers

3514 search results - page 249 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
FSEN
2009
Springer
15 years 8 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
CERA
2010
146views more  CERA 2010»
15 years 4 months ago
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
Yutaka Nomaguchi, Tomohiro Taguchi, Kikuo Fujita
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 10 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
PVLDB
2008
160views more  PVLDB 2008»
15 years 4 months ago
BayesStore: managing large, uncertain data repositories with probabilistic graphical models
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
Daisy Zhe Wang, Eirinaios Michelakis, Minos N. Gar...
ECSA
2010
Springer
15 years 2 months ago
Feature-Based Composition of Software Architectures
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
Carlos Andres Parra, Anthony Cleve, Xavier Blanc, ...