Sciweavers

3973 search results - page 453 / 795
» Complex adaptation and system structure
Sort
View
COMAD
2008
15 years 7 months ago
Modeling Uncertain and Imprecise Information in Process Modeling with UML
In designing and developing large complex products, people use models to describe and organize interrelated elements in both product systems (architecture, use cases, constraints....
Xiao Jing, Pierre Pinel, Lei Pi, Vincent Aranega, ...
ADIS
2001
15 years 7 months ago
A controlled experiment for corroborating the usefulness of class diagram metrics at the early phases of OO developments
The quality of class diagrams is critical because it has a great influence on the quality of the object oriented information system (OOIS) which are finally delivered. This fact mo...
Marcela Genero, José A. Olivas, Mario Piatt...
LRE
2002
84views more  LRE 2002»
15 years 6 months ago
Text-image Coupling for Editing Literary Sources
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
Eric Lecolinet, Laurent Robert, François Ro...
ICFEM
2010
Springer
15 years 4 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
DKE
2011
251views Education» more  DKE 2011»
15 years 1 months ago
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
Manoli Albert, Jordi Cabot, Cristina Gómez,...