Sciweavers

1623 search results - page 257 / 325
» Programming language concepts for software developers
Sort
View
SOSYM
2010
176views more  SOSYM 2010»
15 years 27 days ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
ICECCS
2009
IEEE
106views Hardware» more  ICECCS 2009»
15 years 9 months ago
Visual Comparison of Graphical Models
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxle...
111
Voted
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 7 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
JSW
2006
92views more  JSW 2006»
15 years 2 months ago
Design a Jini-based Service Broker for Dynamic Service Combination Framework
The increased use of electronic service has invented a new term Service-Oriented Architecture. In a typical distributed environment consisting of many independent devices and servi...
Kuo-Wei Hsu
ECOOP
2005
Springer
15 years 8 months ago
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
Marco Pistoia, Robert J. Flynn, Larry Koved, Vugra...