Sciweavers

409 search results - page 67 / 82
» Approaching a Discrete-Continuous UML: Tool Support and Form...
Sort
View
ISPW
2011
IEEE
14 years 3 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
BMCBI
2006
141views more  BMCBI 2006»
14 years 11 months ago
Visual setup of logical models of signaling and regulatory networks with ProMoT
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
Julio Saez-Rodriguez, Sebastian Mirschel, Rebecca ...
DCEIS
2006
15 years 1 months ago
Semantic Coherence in Software Engineering
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
Michael Skusa
ESEC
1999
Springer
15 years 3 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
85
Voted
MODELS
2007
Springer
15 years 5 months ago
Finding the Pattern You Need: The Design Pattern Intent Ontology
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
Holger Kampffmeyer, Steffen Zschaler