Log in

Relevant bibliographies by topics / BPEL (Computer program language) / Journal articles

To see the other types of publications on this topic, follow the link: BPEL (Computer program language).

Journal articles on the topic 'BPEL (Computer program language)'

Author: Grafiati

Published: 4 June 2021

Last updated: 27 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'BPEL (Computer program language).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Ji, Shunhui, Liming Hu, Yihan Cao, Pengcheng Zhang, and Jerry Gao. "Verifiable Model Construction for Business Processes." International Journal of Software Engineering and Knowledge Engineering 31, no. 07 (2021): 1017–42. http://dx.doi.org/10.1142/s0218194021500315.

Full text

Abstract:

Business process specified in Business Process Execution Language (BPEL), which integrates existing services to develop composite service for offering more complicated function, is error-prone. Verification and testing are necessary to ensure the correctness of business processes. SPIN, for which the input language is PROcess MEta-LAnguage (Promela), is one of the most popular tools for detecting software defects and can be used both in verification and testing. In this paper, an automatic approach is proposed to construct the verifiable model for BPEL-based business process with Promela langu

APA, Harvard, Vancouver, ISO, and other styles

2

Sakka, Rouis Taoufik, Mohamed Tahar Bhiri, and Mourad Kmimech. "MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE." International Journal on Web Service Computing (IJWSC) 9, no. 1 (2018): 01–14. https://doi.org/10.5281/zenodo.3799616.

Full text

Abstract:

The Service Component Definition Language (SCDL) and the Web Service Business Process Execution Language (WS-BPEL) are the standards de-facto used in the modeling and implementing of ServiceComponent Architecture (SCA). However, these powerful languages lack a formal foundation for the specification and verification of the SCA properties. In this study, the use of Wright formal ADL and Ada programming language was proposed to check the behavioral properties of SCDL/WS-BPEL ServiceComponent architectures. To achieve this, the mapping of SCDL/WS-BPEL to the Wright formal ADL was suggested in ord

APA, Harvard, Vancouver, ISO, and other styles

3

Wang, Yu Ying, and Ping Chen. "Test Case Generation of Web Service Composition: An Approach Based on the Color Petri Net." Applied Mechanics and Materials 336-338 (July 2013): 2063–70. http://dx.doi.org/10.4028/www.scientific.net/amm.336-338.2063.

Full text

Abstract:

Based on CP-nets models, an approach of test case generation is proposed for BPEL processes, with which the semantic of BPEL concurrence is well dealt. Firstly, a web service composition which coded in BPEL language is expressed as CP-net models on which depth-first traversal works immediately, and result in sequence test paths obtained. After merging these sequence test paths into program executable units (PEU for short), constraint set of these units is solved and formed into test cases. Finally an application of the approach is illustrated with an example, which more efficiency shown with 7

APA, Harvard, Vancouver, ISO, and other styles

4

Sellami, Wael, Hatem Hadj Kacem, and Ahmed Hadj Kacem. "A Formal Approach for the Validation of Web Service Orchestrations." International Journal of Web Portals 5, no. 1 (2013): 41–54. http://dx.doi.org/10.4018/jwp.2013010104.

Full text

Abstract:

A web service composition is considered as a real revolution in SOA (Service Oriented Architecture). It is based on assembling independent and loosely coupled services to build a composed web service. This composition can be described from both a local or a global perspective by respective orchestration or choreography. The validation of web service orchestrations is the main topic of this work. It is based on the verification of two classes of properties: generic and specific properties. The former can be checked for any invoked web services whereas the specific properties are different inter

APA, Harvard, Vancouver, ISO, and other styles

5

Boutrous Saab, C., D. Coulibaly, S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek. "An Integrated Framework for Web Services Orchestration." International Journal of Web Services Research 6, no. 4 (2009): 1–29. http://dx.doi.org/10.4018/jwsr.2009071301.

Full text

Abstract:

Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this article, the authors will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to genera

APA, Harvard, Vancouver, ISO, and other styles

6

Emmerich, Wolfgang, Ben Butchart, Liang Chen, Bruno Wassermann, and Sarah L. Price. "Grid Service Orchestration Using the Business Process Execution Language (BPEL)." Journal of Grid Computing 3, no. 3-4 (2005): 283–304. http://dx.doi.org/10.1007/s10723-005-9015-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Cherif, Sihem, Raoudha Ben Ben Djemaa, and Ikram Amous. "A user-aware approach for describing and publishing context aware composite Web service." International Journal of Pervasive Computing and Communications 12, no. 2 (2016): 174–93. http://dx.doi.org/10.1108/ijpcc-01-2016-0011.

Full text

Abstract:

Purpose The purpose of this paper is to describe the composite service and the context properties related to the users in the business process execution language (BPEL) file. Design/methodology/approach The authors’ approach allows expressing requirements by taking into account potential users’ context in addition to the functional one. Findings In this paper, the authors introduce a new context-aware approach that provides a dynamic adaptation of service compositions. Originality/value This paper introduces a user-aware approach for describing and publishing context-aware composite Web servic

APA, Harvard, Vancouver, ISO, and other styles

8

Chen, Ing-Yi, Guo-Kai Ni, Cheng-Hwa Kuo, and Chau-Young Lin. "A BPEL-Based Fault-Handling Architecture for Telecom Operation Support Systems." Journal of Advanced Computational Intelligence and Intelligent Informatics 14, no. 5 (2010): 523–30. http://dx.doi.org/10.20965/jaciii.2010.p0523.

Full text

Abstract:

Exception handling is an important issue in dependable software computing. This paper presents a system architecture and explains the role of responsibility of each component that is introduced in the architecture. The design is used to ensure the constructed service-oriented applications remain in a stable state. Service-Oriented Architecture is a paradigm for constructing current enterprise applications. It uses service composition technology to induce existing service components to provide advanced services. The most important concept in this methodology is that of reusing existing componen

APA, Harvard, Vancouver, ISO, and other styles

9

Mei, Lijun, Yan Cai, Changjiang Jia, Bo Jiang, and W. K. Chan. "Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs." International Journal of Web Services Research 10, no. 1 (2013): 73–102. http://dx.doi.org/10.4018/jwsr.2013010104.

Full text

Abstract:

Many web services not only communicate through XML-based messages, but also may dynamically modify their behaviors by applying different interpretations on XML messages through updating the associated XML Schemas or XML-based interface specifications. Such artifacts are usually complex, allowing XML-based messages conforming to these specifications structurally complex. Testing should cost-effectively cover all scenarios. Test case prioritization is a dimension of regression testing that assures a program from unintended modifications by reordering the test cases within a test suite. However,

APA, Harvard, Vancouver, ISO, and other styles

10

Liu, Xuazhe, Mengwei Xu, Teng Teng, Gang Huang, and Hong Mei. "MUIT: A Domain-Specific Language and its Middleware for Adaptive Mobile Web-Based User Interfaces in WS-BPEL." IEEE Transactions on Services Computing 12, no. 6 (2019): 955–69. http://dx.doi.org/10.1109/tsc.2016.2633535.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Zhang, Mei, Fei Feng, Zhilong Zhang, and Jinghua Wen. "A New Business Process Verification Approach for E-Commerce Using Petri Nets." International Journal of Enterprise Information Systems 16, no. 1 (2020): 92–107. http://dx.doi.org/10.4018/ijeis.2020010105.

Full text

Abstract:

The design, modeling, optimization, reengineering, and coupling of business processes in e-commerce environment have gradually become a hot research topic. Business processes must be strictly described and validated by formal methods to ensure their reliability and efficiency. This paper systematically studies the introduction of new business process characteristics into behavioral temporal logic and extend TLA to obtain a new logic system PTLA, which enriches the theoretical system of formal method of business process under the environment of e-commerce. The paper also discusses Petri nets an

APA, Harvard, Vancouver, ISO, and other styles

12

Karn, Helen E., and MacEnglish. "Pronunciation Plus (Computer Program)." TESOL Quarterly 30, no. 1 (1996): 176. http://dx.doi.org/10.2307/3587618.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Solomon, Gabriela R., and Ford Language Institute. "The American Accent Program (Computer Program, Version 4.0)." TESOL Quarterly 27, no. 4 (1993): 774. http://dx.doi.org/10.2307/3587425.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

McMinn, Mark R., and James D. Foster. "A Computer Program to Teach Nonsexist Language." Teaching of Psychology 18, no. 2 (1991): 115–17. http://dx.doi.org/10.1207/s15328023top1802_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Nematzadeh, Hossein, Homayun Motameni, Radziah Mohamad, and Zahra Nematzadeh. "QoS Measurement of Workflow-Based Web Service Compositions Using Colored Petri Net." Scientific World Journal 2014 (2014): 1–14. http://dx.doi.org/10.1155/2014/847930.

Full text

Abstract:

Workflow-based web service compositions (WB-WSCs) is one of the main composition categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are the main techniques of the category of WB-WSCs. Due to maturity of web services, measuring the quality of composite web services being developed by different techniques becomes one of the most important challenges in today’s web environments. Business should try to provide good quality regarding the customers’ requirements to a composed web service. Thus, quality of service

APA, Harvard, Vancouver, ISO, and other styles

16

Reps and Teitelbaum. "Language Processing in Program Editors." Computer 20, no. 11 (1987): 29–40. http://dx.doi.org/10.1109/mc.1987.1663414.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Kord Toudeshki, Leila, Mir Ali Seyyedi, and Afshin Salajegheh. "A Context-Aware Architecture for Realizing Business Process Adaptation Strategies Using Fuzzy Planning." International Journal of Software Engineering and Knowledge Engineering 32, no. 01 (2022): 37–70. http://dx.doi.org/10.1142/s0218194022500024.

Full text

Abstract:

Business competency emerges in flexibility and reliability of services that an enterprise provides. To reach that, executing business processes on a context-aware business process management suite which is equipped with monitoring, modeling and adaptation mechanisms and smart enough to react properly using adaptation strategies at runtime, are a major requisite. In this paper, a context-aware architecture is described to bring adaptation to common business process execution software. The architecture comes with the how-to-apply methodology and is established based on process standards like bus

APA, Harvard, Vancouver, ISO, and other styles

18

Yalcin, Hatice, and Murat Demirekin. "Training Program Supporting Language Acquisition." International Journal of Modern Education and Computer Science 13, no. 3 (2021): 1–12. http://dx.doi.org/10.5815/ijmecs.2021.03.01.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Schetz, Katherine F. "Computer-Aided Language/Concept Enrichment in Kindergarten." Language, Speech, and Hearing Services in Schools 20, no. 1 (1989): 2–10. http://dx.doi.org/10.1044/0161-1461.2001.02.

Full text

Abstract:

A model program for language/concept enrichment was set up with 22 kindergarten students as participants. A total screening score during routine kindergarten screenings relative to the areas of articulation, language and concepts was low for each of these students, but not low enough to recommend indepth diagnostic testing. The objective of the program was to demonstrate the role of the speech-language pathologist as consultant, an alternate service delivery model for public school speech-language services. Language/concept enrichment was provided by volunteers using four educational software

APA, Harvard, Vancouver, ISO, and other styles

20

Underwood, John, Keith Cameron, Theo Bongaerts, Pieter de Haan, Sylvia Lobbe, and Herman Wekker. "Computer Assisted Language Learning: Program Structure and Principles." Modern Language Journal 74, no. 4 (1990): 511. http://dx.doi.org/10.2307/328534.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Walczyk, Jeffrey J. "A computer program for constructing language comprehension tests." Computers in Human Behavior 9, no. 1 (1993): 113–16. http://dx.doi.org/10.1016/0747-5632(93)90026-o.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Wolach, Allen H. "Developing a computer program to facilitate language training." Computers in Human Behavior 10, no. 4 (1994): 541–57. http://dx.doi.org/10.1016/0747-5632(94)90046-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Baniassad, Elisa, and Clayton Myers. "An exploration of program as language." ACM SIGPLAN Notices 44, no. 10 (2009): 547–56. http://dx.doi.org/10.1145/1639949.1640132.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Van Merriënboer, Jeroen J. G., and Marcel B. M. De Croock. "Strategies for Computer-Based Programming Instruction: Program Completion vs. Program Generation." Journal of Educational Computing Research 8, no. 3 (1992): 365–94. http://dx.doi.org/10.2190/mjdx-9pp4-kfmt-09pm.

Full text

Abstract:

Two instructional strategies were implemented in a two-and-a-half hour computer-based training program that was designed to teach elementary turtle graphics programming techniques to novice undergraduate students ( N = 40). Learning activities that either emphasized the completion of existing programs or the generation of new programs were studied for the two strategies. In the completion group, the information needed to perform the program completion tasks appeared to be largely available in the to-be-completed programs; in the generation group, students frequently had to search for useful ex

APA, Harvard, Vancouver, ISO, and other styles

25

Baughan, Carolyn E. "Daedalus Integrated Writing Environment (Computer Program)." TESOL Quarterly 29, no. 2 (1995): 395. http://dx.doi.org/10.2307/3587635.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Held, Markus, Wolfgang Küchlin, and Wolfgang Blochinger. "MoBiFlow." International Journal of Service Science, Management, Engineering, and Technology 2, no. 4 (2011): 67–78. http://dx.doi.org/10.4018/ijssmet.2011100107.

Full text

Abstract:

Web-based problem solving environments provide sharing, execution and monitoring of scientific workflows. Where they depend on general purpose workflow development systems, the workflow notations are likely far too powerful and complex, especially in the area of biology, where programming skills are rare. On the other hand, application specific workflow systems may use special purpose languages and execution engines, suffering from a lack of standards, portability, documentation, stability of investment etc. In both cases, the need to support yet another application on the desk-top places a bu

APA, Harvard, Vancouver, ISO, and other styles

27

Jacobs, Paul S. "TRUMP: A transportable language understanding program." International Journal of Intelligent Systems 7, no. 3 (1992): 245–76. http://dx.doi.org/10.1002/int.4550070303.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Sulzmann, Martin, and Răzvan Voicu. "Language-Based Program Verification via Expressive Types." Electronic Notes in Theoretical Computer Science 174, no. 7 (2007): 129–47. http://dx.doi.org/10.1016/j.entcs.2006.10.041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Jones, Mark P., and Iavor S. Diatchki. "Language and program design for functional dependencies." ACM SIGPLAN Notices 44, no. 2 (2009): 87–98. http://dx.doi.org/10.1145/1543134.1411298.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Sklenar, Ivan. "Programming language assessments using the program profiles." ACM SIGPLAN Notices 20, no. 4 (1985): 80–86. http://dx.doi.org/10.1145/988316.988324.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Zuidema, Johan, Gellof Kanselaar, H. Wichmann, M. Giezeman, L. Koster, and J. van der Veen. "Vrue Taalprodukties En De Computer." Computer-ondersteund talenonderwijs 33 (January 1, 1989): 33–39. http://dx.doi.org/10.1075/ttwia.33.05zui.

Full text

Abstract:

In second language teaching a great deal of attention is paid to the learning of communicative skills. The computer program PRESTIGE (Productive and Receptive English, a Smart Tutor and Intelligent Generator of Exercises) subscribes to the views currently held in communicative language teaching. Among these are learning the meaning of a word through deduction of the word's meaning from contexts, and emphasizing the use of productive language. The computer program PRESTIGE, written in PROLOG, consists of several parts: A parser, which checks if syntax, spelling and inflection of pupils' input s

APA, Harvard, Vancouver, ISO, and other styles

32

Song, Cheeyang, and Eunsook Cho. "An Integrated Design Method for SOA-Based Business Modeling and Software Modeling." International Journal of Software Engineering and Knowledge Engineering 26, no. 02 (2016): 347–77. http://dx.doi.org/10.1142/s0218194016500157.

Full text

Abstract:

Service-oriented architecture (SOA)-based system development requires a systematic integration technique for software modeling and business modeling methods that approach the implementation component from the perspective of a business service. We proposes the integrated design method (architecture, metamodel, framework, process) for the integration of component software modeling in business process modeling notation (BPMN) business modeling to service-oriented modeling based on model-driven architecture (MDA) and model view controller (MVC) patterns according to SOA. The integrated architectur

APA, Harvard, Vancouver, ISO, and other styles

33

Leidy, Judy, Ann Burke, Anne Merkel, and Marlin Howard. "Using Computer Assisted Instruction in an ESL Language Program." IALLT Journal of Language Learning Technologies 15, no. 1 (2019): 13–24. http://dx.doi.org/10.17161/iallt.v15i1.9074.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Sarkisyan, A. A., and Yu G. Shukuryan. "Program testing technology based on specification language." Cybernetics 26, no. 6 (1991): 795–804. http://dx.doi.org/10.1007/bf01069487.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Ensink, Brian, Joel Stanley, and Vikram Adve. "Program Control Language: a programming language for adaptive distributed applications." Journal of Parallel and Distributed Computing 63, no. 11 (2003): 1082–104. http://dx.doi.org/10.1016/s0743-7315(03)00117-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Vistein, Michael, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, and Ansgar Fehnker. "An Abstract Specification Language for Static Program Analysis." Electronic Notes in Theoretical Computer Science 254 (October 2009): 181–97. http://dx.doi.org/10.1016/j.entcs.2009.09.066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Su, Zejia, Qingnan Fan, Xuelin Chen, Oliver Van Kaick, Hui Huang, and Ruizhen Hu. "Scene-Aware Activity Program Generation with Language Guidance." ACM Transactions on Graphics 42, no. 6 (2023): 1–16. http://dx.doi.org/10.1145/3618338.

Full text

Abstract:

We address the problem of scene-aware activity program generation, which requires decomposing a given activity task into instructions that can be sequentially performed within a target scene to complete the activity. While existing methods have shown the ability to generate rational or executable programs, generating programs with both high rationality and executability still remains a challenge. Hence, we propose a novel method where the key idea is to explicitly combine the language rationality of a powerful language model with dynamic perception of the target scene where instructions are ex

APA, Harvard, Vancouver, ISO, and other styles

38

Ravari, Navid Rostami, Rodziah Latih, and Abdullah Mohd Zin. "Multi-Language Program Understanding Tool." International Journal on Advanced Science, Engineering and Information Technology 13, no. 4 (2023): 1554. http://dx.doi.org/10.18517/ijaseit.13.4.18019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Telap, Cherry, Benny Pinontoan, and Jullia Titaley. "Derivation of Quantum Guarded Command Language Program for Average." d'CARTESIAN 4, no. 2 (2015): 163. http://dx.doi.org/10.35799/dc.4.2.2015.9055.

Full text

Abstract:

Has conducted research to determine the derivation of quantum guarded command language (qGCL) program for average. Initially calculation of average value was made in guaded command language (GCL) which is then implemented on a digital computer into the Pascal programming language. Furthermore GCL to calculate the average value was analyzed again to be made in the quantum guarded command language (qGCL). qGCL implementation is on a quantum computer is a future computer could perform calculations very quickly because it uses a superposition state is referred to as quantum bits (qubits). Keywords

APA, Harvard, Vancouver, ISO, and other styles

40

Irshad, Mufeeda, Merel Keijzer, Martijn Wieling, and Marjolijn Verspoor. "Effectiveness of a dynamic usage based computer assisted language program." Dutch Journal of Applied Linguistics 8, no. 2 (2019): 137–62. http://dx.doi.org/10.1075/dujal.16018.irs.

Full text

Abstract:

Abstract The current paper explores whether a Dynamic Usage Based (DUB) approach – which takes authentic meaningful language use with repetition and scaffolding for comprehension as its basis – can also be implemented in a CALL environment. The effectiveness of the DUB-CALL program was tested in a semester-long experiment, comparing it with a teacher-fronted DUB program (using the same materials as the CALL program) and a traditional CLT program; 228 university undergraduates in Sri Lanka participated. Language gains were assessed in a pre-post design with an objective General English Proficie

APA, Harvard, Vancouver, ISO, and other styles

41

Lomax, A. "The suitability of language syntaxes for program generation." ACM SIGPLAN Notices 22, no. 3 (1987): 95–101. http://dx.doi.org/10.1145/24697.24707.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

De Niel, Anne, Eddy Bevers, and Karel De Vlaminck. "Program bifurcation for a polymorphically typed functional language." ACM SIGPLAN Notices 26, no. 9 (1991): 142–53. http://dx.doi.org/10.1145/115866.115880.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Hoch, Frances S. "COMPUTER LITERACY AN THE FOREIGN LANGUAGE TEACHER." CALICO Journal 3, no. 1 (2013): 17–19. http://dx.doi.org/10.1558/cj.v3i1.17-19.

Full text

Abstract:

This article is based on a presentation at CALICO '85. It discusses the problems inherent in making teachers computer literate. It then describes a staff development program for foreign language teachers in North Carolina which introduces them to the potential of CAI for foreign language instruction by providing hands-on experience with the computer which is directly applicable to this instructional area.

APA, Harvard, Vancouver, ISO, and other styles

44

Takalo, Ronald. "LANGUAGE TEST GENERATOR." CALICO Journal 2, no. 4 (2013): 45–46. http://dx.doi.org/10.1558/cj.v2i4.45-46.

Full text

Abstract:

The computer can be especially useful for constructing foreign language and ESL tests from a data bank. Once established and saved to disk, the computer can quickly write a random order test complete with answer blanks and answer key. The program described here can serve as a template to create tests for many subjects and items, being easily modifiable by anyone with a modicum of programming experience.

APA, Harvard, Vancouver, ISO, and other styles

45

Shelekhov, Vladimir Ivanovich. "TRANSFORMATION AND VERIFICATION OF THE OS PROGRAM SORTING DEVICES IN A COMPUTER BUS." System Informatics, no. 18 (2021): 1–34. http://dx.doi.org/10.31144/si.2307-6410.2021.n18.p1-34.

Full text

Abstract:

The transformation and verification of the bus_sort_breadthfirst program, which belongs to the Linux OS kernel and implements sorting of devices are described. The C program is transformed into the cP language performing macros unfolding, structure changes, and elimination of pointers. Transformed program is translated into the WhyML functional language. For the received program, a specification is constructed. Deductive verification is carried out in the tool Why3.

APA, Harvard, Vancouver, ISO, and other styles

46

Sharvelle, Derek J. "A BASIC language computer program for intraocular lens power calculations." American Intra-Ocular Implant Society Journal 11, no. 4 (1985): 400–405. http://dx.doi.org/10.1016/s0146-2776(85)80074-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Gallimore, R. M. "UMIST OBJ: a Language for Executable Program Specifications." Computer Journal 32, no. 5 (1989): 413–21. http://dx.doi.org/10.1093/comjnl/32.5.413.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Gillam, Ronald B. "Computer-Assisted Language Intervention Using Fast ForWord®." Language, Speech, and Hearing Services in Schools 30, no. 4 (1999): 363–70. http://dx.doi.org/10.1044/0161-1461.3004.363.

Full text

Abstract:

A computer-assisted language intervention program called Fast ForWord® (Scientific Learning Corporation, 1998) has received a great deal of attention at professional meetings and in the popular media. Newspaper and magazine articles about this program contain statements like, "On average, after only 6 to 7 weeks of training, language-learning impaired children ages 4 to 12 showed improvement of more than one and a half years in speech processing and language ability." (Scientific Learning Corporation, 1997). Are the claims that are being made about this intervention approach just a matter of p

APA, Harvard, Vancouver, ISO, and other styles

49

Simpson, Mark W., and Sheila Bolduc-Simpson. "DEVELOPING A COMPUTER-ASSISTED READING INSTRUCTION PROGRAM." CALICO Journal 2, no. 1 (2013): 34–39. http://dx.doi.org/10.1558/cj.v2i1.34-39.

Full text

Abstract:

CARI is a computer assisted reading instruction program that was designed by two English Language teachers for the purpose of providing supplementary and relevant material for their students in three subskill areas. The program was written for intermediate level adults learning English in a business environment. The reading subskills include skimming, scanning and guessing. The paper describes in detail the content and structure of the program and outlines the steps involved in its development. Following the description are comments and suggestions for teachers on how to evaluate effective cou

APA, Harvard, Vancouver, ISO, and other styles

50

Pezold, Mollee J., Caitlin M. Imgrund, and Holly L. Storkel. "Using Computer Programs for Language Sample Analysis." Language, Speech, and Hearing Services in Schools 51, no. 1 (2020): 103–14. http://dx.doi.org/10.1044/2019_lshss-18-0148.

Full text

Abstract:

Purpose Although language sample analysis is widely recommended for assessing children's expressive language, few school-based speech-language pathologists routinely use it, citing a lack of time, resources, and training ( Pavelko, Owens, Ireland, & Hahs-Vaughn, 2016 ). The purpose of this clinical tutorial is (a) to describe options for language sample analysis using computer programs and (b) to demonstrate a process of using language sample analysis focused on the assessment of 2 preschool children as case studies. Method We provide an overview of collecting and analyzing child language

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!