Sciweavers

648 search results - page 76 / 130
» A Proposal for ASM Diagrams
Sort
View
ICSE
2009
IEEE-ACM
14 years 3 months ago
Towards safer composition
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can b...
Andreas Classen, Patrick Heymans, Thein Than Tun, ...
DSD
2007
IEEE
87views Hardware» more  DSD 2007»
14 years 3 months ago
On the Construction of Small Fully Testable Circuits with Low Depth
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...
Görschwin Fey, Anna Bernasconi, Valentina Cir...
CAISE
2007
Springer
14 years 3 months ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi
ETFA
2006
IEEE
14 years 3 months ago
Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
Marcos Vinicius Linhares, Alexandre Jose da Silva,...
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
14 years 2 months ago
SeamCAD: Object-Oriented Modeling Tool for Hierarchical Systems in Enterprise Architecture
Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems). Providing tool support for such models is a challenge (e.g. mo...
Lam-Son Lê, Alain Wegmann