Sciweavers

574 search results - page 40 / 115
» Unanticipated integration of development tools using the cla...
Sort
View
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
13 years 9 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
WEBENG
2001
Springer
14 years 5 days ago
Web Engineering Resources
This paper introduces the Web Engineering Resources Portal (shortly WEP), as a basic Reference Model and Guide for the Web Engineers. WEP provides a general classification of Web E...
DATE
2003
IEEE
117views Hardware» more  DATE 2003»
14 years 1 months ago
Exploring SW Performance Using SoC Transaction-Level Modeling
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
Imed Moussa, Thierry Grellier, Giang Nguyen
FPLAY
2008
13 years 9 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
IS
2012
12 years 3 months ago
On the refactoring of activity labels in business process models
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling