Výsledky vyhledávání - set theoretically oriented programming language
-
1
Portability of executable service-oriented processes: metrics and validation
ISSN: 1863-2386, 1863-2394, 1863-2394Vydáno: London Springer London 01.12.2016Vydáno v Service oriented computing and applications (01.12.2016)“…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…”
Získat plný text
Journal Article -
2
Modular session types for objects
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 16.12.2015Vydáno v Logical methods in computer science (16.12.2015)“… We extend previous work on session types for distributed object-oriented languages in three ways. (1…”
Získat plný text
Journal Article -
3
Size and effort estimation for applications written in Java
ISSN: 0950-5849, 1873-6025Vydáno: Amsterdam Elsevier B.V 01.07.2004Vydáno v Information and software technology (01.07.2004)“… 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…”
Získat plný text
Journal Article -
4
Design and Implementation of Educational Neural Networks Visual Interface Program
Vydáno: IEEE 06.10.2021Vydáno v 2021 Innovations in Intelligent Systems and Applications Conference (ASYU) (06.10.2021)“… .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…”
Získat plný text
Konferenční příspěvek -
5
Modular session types for objects
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 23.12.2015Vydáno v arXiv.org (23.12.2015)“… We extend previous work on session types for distributed object-oriented languages in three ways. (1…”
Získat plný text
Paper -
6
An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 07.09.2021Vydáno v arXiv.org (07.09.2021)“…We report on an inversion tool for a class of oriented conditional constructor term rewriting systems…”
Získat plný text
Paper -
7
Liana: a decentralized load-dependent scheduler for performance-cost optimization of grid service
ISSN: 0920-8542, 1573-0484Vydáno: Boston Springer US 01.07.2009Vydáno v The Journal of supercomputing (01.07.2009)“…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…”
Získat plný text
Journal Article -
8
Searching for Cognitively Diverse Tests: Towards Universal Test Diversity Metrics
ISBN: 9780769533889, 0769533884Vydáno: IEEE 2008Vydáno v 2008 IEEE International Conference on Software Testing Verification and Validation Workshop : 9-11 April 2008 (2008)“…; 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…”
Získat plný text
Konferenční příspěvek -
9
Integrating Software Quality into an Agile Development Environment
ISBN: 9798738668876Vydáno: ProQuest Dissertations & Theses 01.01.2015“… 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…”
Získat plný text
Dissertation

