Sciweavers

155 search results - page 15 / 31
» A tool for design pattern detection and software architectur...
Sort
View
OOPSLA
2010
Springer
13 years 6 months ago
Towards a tool-based development methodology for sense/compute/control applications
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
Damien Cassou, Julien Bruneau, Julien Mercadal, Qu...
SCP
2010
96views more  SCP 2010»
13 years 7 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
IJISMD
2010
164views more  IJISMD 2010»
13 years 5 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
IWPC
2006
IEEE
14 years 2 months ago
Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System
: Alborz is a multi-view, interactive, and wizard-based software architecture reconstruction and evaluation toolkit that takes advantage of the Eclipse plug-in technology to provid...
Kamran Sartipi, Lingdong Ye, Hossein Safyallah
SEFM
2005
IEEE
14 years 2 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...