Sciweavers

3514 search results - page 291 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
FIDJI
2003
Springer
15 years 9 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese
ASPDAC
2012
ACM
288views Hardware» more  ASPDAC 2012»
14 years 20 hour ago
Automatic timing granularity adjustment for host-compiled software simulation
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
Parisa Razaghi, Andreas Gerstlauer
ASWEC
2008
IEEE
15 years 10 months ago
Situated Software Development: Work Practice and Infrastructure Are Mutually Constitutive
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
Julia Prior, Toni Robertson, John Leaney
IIWAS
2004
15 years 5 months ago
An Advanced Transaction Meta-Model For Web Services Environments
: Recently, the software industry has published several proposals for transactional processing in the Web service world. Even though most proposals support arbitrary transaction mo...
Peter Hrastnik, Werner Winiwarter
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 2 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi