Suchergebnisse - set theoretically oriented programming language

Portability of executable service-oriented processes: metrics and validation von Lenhard, Jörg, Wirtz, Guido

“… A key promise of process languages based on open standards, such as the Web Services Business Process Execution Language , is the avoidance of vendor lock-in through the portability of processes among …”
Volltext

Modular session types for objects von Gay, Simon J., Gesbert, Nils, Ravara, António, Vasconcelos, Vasco T.

“… We extend previous work on session types for distributed object-oriented languages in three ways. (1 …”
Volltext

Size and effort estimation for applications written in Java von Kaczmarek, J., Kucharski, M.

“… The methodology concerns the object-oriented technology and the Java language. Authors review current techniques of size and cost estimation to identify their strengths and weaknesses …”
Volltext

Design and Implementation of Educational Neural Networks Visual Interface Program von Sait Ergin, Ahmet, Ozguven, Omerulfaruk

“… .Net, an object-oriented software development tool, has been used for easy management of the application in which complex algorithms will be executed due to its structure …”
Volltext

Modular session types for objects von Gay, Simon J, Gesbert, Nils, Ravara, António, Vasconcelos, Vasco T

“… We extend previous work on session types for distributed object-oriented languages in three ways. (1 …”
Volltext

An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion von Maria Bendix Mikkelsen, Glück, Robert, Kirkeby, Maja H

“… We report on an inversion tool for a class of oriented conditional constructor term rewriting systems …”
Volltext

Liana: a decentralized load-dependent scheduler for performance-cost optimization of grid service von Liu, Dan, Cao, Yuan-Da, Li, Chun-Qing

“… This paper addresses the scheduling problem in decentralized grid systems. Such problem focuses on computing a large set of arbitrary tasks to optimize the system performance while minimizing the average system costs …”
Volltext

Searching for Cognitively Diverse Tests: Towards Universal Test Diversity Metrics von Feldt, R., Torkar, R., Gorschek, T., Afzal, W.

“… ; a test is good if it is diverse from other tests. We present a model for test variability and propose the use of a theoretically optimal diversity metric at variation points in the model …”
Volltext

Integrating Software Quality into an Agile Development Environment von Koroma, Evelyne Ingabire

“… These agile methodologies propose a set practices and principles that if applied, have the ability to theoretically produce improved software quality under time pressure and in an unstable requirements environment …”
Volltext