Sciweavers

5407 search results - page 135 / 1082
» The Software Engineering Global Model
Sort
View
OPODIS
2008
14 years 11 months ago
Ordering-Based Semantics for Software Transactional Memory
It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve...
Michael F. Spear, Luke Dalessandro, Virendra J. Ma...
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 4 months ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
KBSE
1997
IEEE
15 years 2 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
ICSE
2007
IEEE-ACM
15 years 10 months ago
ArchStudio 4: An Architecture-Based Meta-Modeling Environment
We will demonstrate ArchStudio, an environment for software architecture modeling and meta-modeling. We will also showcase a set of innovative architecturecentric applications tha...
Eric M. Dashofy, Hazeline U. Asuncion, Scott A. He...
IWSAS
2000
Springer
15 years 1 months ago
Model-Integrated Embedded Systems
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
Ákos Lédeczi, Arpad Bakay, Miklos Ma...