Sciweavers

1328 search results - page 47 / 266
» Design Patterns for Modelling Guidelines
Sort
View
BIOCOMP
2009
13 years 6 months ago
Simulating Spatial Partial Differential Equations with Cellular Automata
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
Brian Strader, Keith E. Schubert, Ernesto Gomez, J...
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
13 years 6 months ago
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
ARCS
2006
Springer
14 years 19 days ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
COMPSAC
2006
IEEE
14 years 3 months ago
A Pattern-Based Technique for Developing UML Models of Access Control Systems
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
Dae-Kyoo Kim, Priya Gokhale
ICSE
2008
IEEE-ACM
14 years 9 months ago
Architecting as decision making with patterns and primitives
The application of patterns is used as a foundation for many central design decisions in software architecture, but because of the informal nature of patterns, these design decisi...
Uwe Zdun, Paris Avgeriou, Carsten Hentrich, Schahr...