Journal articles: 'Functional specification'

1

Joosten, S. "Functional system specification." Software Engineering Journal 3, no. 4 (1988): 127. http://dx.doi.org/10.1049/sej.1988.0015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Jalila, A., D. Jeya Mala, and M. Eswaran. "Functional Testing Using OCL Predicates to Improve Software Quality." International Journal of Systems and Service-Oriented Engineering 5, no. 2 (April 2015): 56–72. http://dx.doi.org/10.4018/ijssoe.2015040104.

Full text

Abstract:

Formal specification-based testing is one of the major criterions to detect faults in the requirement specification or design of a system. However, due to the non-availability of implementation details, test case generation from formal specifications become a challenging task. This research work has proposed an automated fault-based testing framework to test the specification of a system written in OCL (Object Constraint Language). Accordingly, the possible faults in OCL specification of a system have been anticipated by mutating its method based on predicate-based fault classes. Then, test cases are generated by applying Chaotic Simulated Annealing (CSA) algorithm. In this paper, a novel OCL predicate based fitness function is defined to evaluate the generated test data. The experiment results indicate that the OCL specification based testing adopting CSA form an excellent combination for performing functional testing at the earliest to improve software quality.

APA, Harvard, Vancouver, ISO, and other styles

3

LEDERER, EDGAR F. A., and ROMEO A. DUMITRESCU. "AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS." International Journal of Foundations of Computer Science 12, no. 01 (February 2001): 97–124. http://dx.doi.org/10.1142/s0129054101000424.

Full text

Abstract:

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

APA, Harvard, Vancouver, ISO, and other styles

4

Kusiak, A., and E. Szczerbicki. "A Formal Approach to Specifications in Conceptual Design." Journal of Mechanical Design 114, no. 4 (December 1, 1992): 659–66. http://dx.doi.org/10.1115/1.2917057.

Full text

Abstract:

In this paper, a methodology for the specification stage in conceptual design is presented. The specification stage provides requirements and transforms them into functions of the designed object. It occurs at the highest level of abstraction and it must provide enough information for the synthesis process where functions are transformed into design components that are further synthesized into the designed object. The proposed approach includes the following issues: specification of requirements, specification of functions, incorporation of logic into functional and requirement trees, representation of requirements-functions interaction, and optimization in the functional space. The methodology presented is illustrated with examples. Key words: design requirements, design specifications, conceptual design, design process, artificial intelligence, formal method

APA, Harvard, Vancouver, ISO, and other styles

5

Jacobsen, K., J. Sigurjónsson, and Ø. Jakobsen. "Formalized specification of functional requirements." Design Studies 12, no. 4 (October 1991): 221–24. http://dx.doi.org/10.1016/0142-694x(91)90035-u.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Staley, Scott M., and David C. Anderson. "Functional specification for CAD databases." Computer-Aided Design 18, no. 3 (April 1986): 132–38. http://dx.doi.org/10.1016/0010-4485(86)90323-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Liu, Hui Fen, Mei Fa Huang, Lei Lei Chen, and Bo Shi. "On Generation of the Specification Model for Concentricity Based on Mathematical Modeling." Advanced Materials Research 361-363 (October 2011): 1481–85. http://dx.doi.org/10.4028/www.scientific.net/amr.361-363.1481.

Full text

Abstract:

Feature specifications are important composite parts in the new generation of geometrical product specifications and verification (GPS). According to the theories of specification model of shaft parts, this paper presents a method to generation of specification model of concentricity. Firstly, the mathematical model of concentricity is established in terms of nominal geometrical features of product for the parts the functional requirement are satisfied. Secondly, the simulation points of the model are generated by using the methods of axial stratification and circumferential multi-angles. The concentricity specification model could be generated after these operations of association and collection. Finally, an example is applied to illustrate the new method. The experiment results show the effectiveness of the proposed method.

APA, Harvard, Vancouver, ISO, and other styles

8

Bugni, Federico A. "SPECIFICATION TEST FOR MISSING FUNCTIONAL DATA." Econometric Theory 28, no. 5 (May 21, 2012): 959–1002. http://dx.doi.org/10.1017/s0266466612000023.

Full text

Abstract:

Economic data are frequently generated by stochastic processes that can be modeled as realizations of random functions (functional data). This paper adapts the specification test for functional data developed by Bugni, Hall, Horowitz, and Neumann (2009, Econometrics Journal12, S1–S18) to the presence of missing observations. By using a worst case scenario approach, our method is able to extract the information available in the observed portion of the data while being agnostic about the nature of the missing observations. The presence of missing data implies that our test will not only result in the rejection or lack of rejection of the null hypothesis, but it may also be inconclusive.Under the null hypothesis, our specification test will reject the null hypothesis with a probability that, in the limit, does not exceed the significance level of the test. Moreover, the power of the test converges to one whenever the distribution of the observations conveys that the null hypothesis is false.Monte Carlo evidence shows that the test may produce informative results (either rejection or lack of rejection of the null hypothesis) even under the presence of significant amounts of missing data. The procedure is illustrated by testing whether the Burdett–Mortensen labor market model is the correct framework for wage paths constructed from the National Longitudinal Survery of Youth, 1979 survey.

APA, Harvard, Vancouver, ISO, and other styles

9

Nakagoshi, Hideki. "Functional specification in the Drosophila endoderm." Development, Growth and Differentiation 47, no. 6 (August 2005): 383–92. http://dx.doi.org/10.1111/j.1440-169x.2005.00811.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Nosov, V. A., and A. E. Pankratiev. "On functional specification of latin squares." Journal of Mathematical Sciences 169, no. 4 (August 20, 2010): 533–40. http://dx.doi.org/10.1007/s10958-010-0059-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

LEE, JONATHAN, and JOHN YEN. "ENHANCING THE SOFTWARE LIFE CYCLE OF KNOWLEDGE-BASED SYSTEMS USING A TASK-BASED SPECIFICATION METHODOLOGY." International Journal of Software Engineering and Knowledge Engineering 03, no. 01 (March 1993): 3–15. http://dx.doi.org/10.1142/s0218194093000021.

Full text

Abstract:

Several methodologies have been developed to enhance the software life cycle of knowledge-based systems by emphasizing on the use of both prototypes and specifications. However, these methodologies focus on the development phase of knowledge-based systems. The roles of prototypes and specifications in the maintenance phase has not been fully explored. Because a suitable problem specification for a knowledge-based system is often difficult to acquire, validating changes to non-executable solution specification during the maintenance phase can be a problem. To address this, we propose an alternative paradigm in which the prototype complements the specification throughout the life cycle. The traceability between them is facilitated by organizing both types of artifacts using a common functional decomposition structure. Based on our task-based specification methodology (TBSM), we have also developed a knowledge engineering tool (called TAME) to facilitate the acquisition and the organization of the specification and the prototype. The proposed methodology and the tool together can thus enhance the verification, validation, and the maintenance of knowledge-based systems through their life cycles.

APA, Harvard, Vancouver, ISO, and other styles

12

Hilmer, Christiana E., and Matthew T. Holt. "Estimating Indirect Production Functions with a More General Specification: An Application of the Lewbel Model." Journal of Agricultural and Applied Economics 37, no. 3 (December 2005): 619–34. http://dx.doi.org/10.1017/s1074070800027127.

Full text

Abstract:

Whereas consumer theory employs several different empirical specifications for estimating indirect utility functions, producer theory has relied on the Translog specification to estimate the indirect production function. In this paper, we apply Lewbel's more general functional specification and investigate its implications for the estimation of indirect production functions in productivity analysis. An attractive feature of the Lewbel model is that it nests both the Translog and the almost ideal supply system, offering a method to assess the empirical validity of all three specifications. Aggregate U.S. production data are used to examine the performance of the three models in an empirical application.

APA, Harvard, Vancouver, ISO, and other styles

13

Asnina, Erika. "Notion of causal relations of the topological functioning model." Applied Computer Systems 13, no. 1 (November 8, 2012): 68–73. http://dx.doi.org/10.2478/v10312-012-0009-z.

Full text

Abstract:

Abstract - The paper discusses application of the topological functioning model (TFM) of the system for its automated transformation to behavioural specifications such as UML Activity Diagram, BPMN diagrams, scenarios, etc. The paper addresses a lack of formal specification of causal relations between functional features of the TFM by using inference means suggested by classical logic. The result is reduced human participation in the transformation as well as additional check of analysis and specification of the system.

APA, Harvard, Vancouver, ISO, and other styles

14

HERRMANN, CHRISTOPH A. "GENERATING MESSAGE-PASSING PROGRAMS FROM ABSTRACT SPECIFICATIONS BY PARTIAL EVALUATION." Parallel Processing Letters 15, no. 03 (September 2005): 305–20. http://dx.doi.org/10.1142/s0129626405002234.

Full text

Abstract:

This paper demonstrates how parallel programs with message-passing can be generated from abstract specifications embedded in the functional language MetaOCaml. The functional style permits to design parallel programs with a high degree of parameterization, so-called skeletons. Programmers who are unexperienced in parallelism can take such skeletons for a simple and safe generation of parallel applications. Since MetaOCaml also has efficient imperative features and an MPI interface, the entire program can be written in one language, without the need to use a language interface restricting the set of data objects which could be exchanged. The semantics of abstract specifications is expressed by an interpreter written in MetaOCaml. A cost model is defined by abstract interpretation of the specification. Partial evaluation of the interpreter with a specification, a feature which MetaOCaml provides, yields a parallel program. The partial evaluation process takes time on each MPI process directly before the execution of the application program, exploiting knowledge of the number of processes, the current process identifier and the communication structure. Our example is the specification of a divide-and-conquer skeleton which is used to compute the multiplication of multi-digit numbers using Karatsuba's algorithm.

APA, Harvard, Vancouver, ISO, and other styles

15

Broy, Manfred. "Functional specification of time-sensitive communicating systems." ACM Transactions on Software Engineering and Methodology 2, no. 1 (January 1993): 1–46. http://dx.doi.org/10.1145/151299.151302.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Gallo, Paolo, and Luca Viarengo. "User requirements and functional specification in REMSSBOT." Environmental Management and Health 9, no. 1 (March 1998): 20–21. http://dx.doi.org/10.1108/09566169810195716.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Henderson, Peter. "Functional programming, formal specification, and rapid prototyping." IEEE Transactions on Software Engineering SE-12, no. 2 (February 1986): 241–50. http://dx.doi.org/10.1109/tse.1986.6312939.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Abadir, M. S., and H. K. Reghbati. "Functional specification and testing of logic circuits." Computers & Mathematics with Applications 11, no. 12 (December 1985): 1143–53. http://dx.doi.org/10.1016/0898-1221(85)90102-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Berg, John L. "Open look graphical user interface functional specification." Computer Standards & Interfaces 11, no. 1 (January 1990): 57–58. http://dx.doi.org/10.1016/0920-5489(90)90078-t.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Huicong, Hu, and Lu Wen-Feng. "Design specification representation for intelligent product appearance design." E3S Web of Conferences 179 (2020): 02004. http://dx.doi.org/10.1051/e3sconf/202017902004.

Full text

Abstract:

Traditional intelligent product design usually focuses on functional design, aiming to generate appropriate structures that would provide required functions. Design specifications are mainly formulized into technical descriptions or values that are related to certain functional or usability requirements. In today’s global market, to in-crease user satisfaction, the appearance design of a product become vital for users to make purchasing decisions. This is particularly true of today’s consumer products such as mobile phones, digital cameras, and other electronic products. In intelligent product appearance design, design specifications are merely described as basic geometric dimensions and types of surface materials. Additionally, the aesthetic considerations and emotional needs of product appearance are seldom discussed when establishing design specifications for product appearance design. In this regard, the objective of this study is to propose a design specification representation framework for intelligent product appearance design considering both emotional and aesthetic aspects. The framework be-gins to investigate user needs by acquiring user aesthetic experience. Based on the notion of aesthetic experience, a detailed representation model of appearance design specifications is provided for satisfying user emotional and aesthetic needs. Finally, a case study of the appearance design of digital cameras is provided to demonstrate the acquisition of user needs and establishment of design specifications based on the proposed framework.

APA, Harvard, Vancouver, ISO, and other styles

21

Boyle, James M., and Terence J. Harmer. "A practical functional program for the CRAY X-MP." Journal of Functional Programming 2, no. 1 (January 1992): 81–126. http://dx.doi.org/10.1017/s0956796800000289.

Full text

Abstract:

AbstractOne can have all the advantages of functional programming – correctness, clarity, simplicity, and flexibility – without any sacrifice in performance, even for a scientifically significant computation on a supercomputer. Therefore, why use Fortran? We demonstrate parity – equality of speed and storage use – between a program generated automatically from a functional specification and a program written by hand in the procedural style. To our knowledge, this demonstration of parity is the first for a program that solves a scientifically significant problem – quasi-linear hyperbolic partial differential equations – on a scientifically interesting supercomputer – the CRAY X-MP. We use pure Lisp, including higher-order functions, to express the functional specification for the PDE solver. We designed this specification for maximal clarity and flexibility, rather than for efficiency. Nevertheless, we obtain a highly efficient program to solve the PDEs: automated program transformations put back the missing efficiency as they produce an executable Fortran program from the specification. The generated Fortran program vectorizes on the CRAY X-MP and runs about 4% faster than a handwritten Fortran program for the same problem. We describe the problem and the specification, and some of the problem-domain-specific and hardware-specific transformations that we use to obtain the high-efficiency program.

APA, Harvard, Vancouver, ISO, and other styles

22

YANG, Jiangxin. "Functional Tolerance Specification Design Based on Assembly Positioning." Journal of Mechanical Engineering 46, no. 02 (2010): 1. http://dx.doi.org/10.3901/jme.2010.02.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Ferraty, Frederic, Alejandro Quintela-del-Río, and Philippe Vieu. "SPECIFICATION TEST FOR CONDITIONAL DISTRIBUTION WITH FUNCTIONAL DATA." Econometric Theory 28, no. 2 (August 2, 2011): 363–86. http://dx.doi.org/10.1017/s0266466611000351.

Full text

Abstract:

In this paper we construct a statistic to test a specific form of the conditional density function. The main point of this work is to consider a functional explanatory variable, and the statistic is constructed following recent advances in nonparametric functional data analysis. The asymptotic behavior of the test statistic is studied under both the null hypothesis and some local alternative hypothesis. Then, the finite sample behavior of the method is studied through simulated examples. This paper is one of the first in the setting of nonparametric specification tests when functional data are involved.

APA, Harvard, Vancouver, ISO, and other styles

24

Lim, Christine. "The functional specification of international tourism demand models." Mathematics and Computers in Simulation 43, no. 3-6 (March 1997): 535–43. http://dx.doi.org/10.1016/s0378-4754(97)00042-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Dufourd, Jean-François, and François Puitg. "Functional specification and prototyping with oriented combinatorial maps." Computational Geometry 16, no. 2 (June 2000): 129–56. http://dx.doi.org/10.1016/s0925-7721(00)00004-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Koopman, P. W. M., M. C. J. D. Van Eekelen, and M. J. Plasmeijer. "Operational machine specification in a functional programming language." Software: Practice and Experience 25, no. 5 (May 1995): 463–99. http://dx.doi.org/10.1002/spe.4380250502.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Carrasco‐Tauber, Catalina, and L. Joe Moffitt. "Damage Control Econometrics: Functional Specification and Pesticide Productivity." American Journal of Agricultural Economics 74, no. 1 (February 1992): 158–62. http://dx.doi.org/10.2307/1242999.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Chebotarev, A. N. "Approach to functional specification of automaton systems. I." Cybernetics and Systems Analysis 29, no. 3 (1993): 330–37. http://dx.doi.org/10.1007/bf01125538.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Ssemakula, Mukasa E., and Wesley J. Cloyd. "Functional Specification of a Dynamic Process Planning System." Computers & Industrial Engineering 27, no. 1-4 (September 1994): 99–102. http://dx.doi.org/10.1016/0360-8352(94)90246-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Combi, Carlo, and Pietro Sala. "Interval-based temporal functional dependencies: specification and verification." Annals of Mathematics and Artificial Intelligence 71, no. 1-3 (November 14, 2013): 85–130. http://dx.doi.org/10.1007/s10472-013-9387-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Schnoerr, David, Igor Boettcher, Jan M. Pawlowski, and Christof Wetterich. "Error estimates and specification parameters for functional renormalization." Annals of Physics 334 (July 2013): 83–99. http://dx.doi.org/10.1016/j.aop.2013.03.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Lutters, D., and R. ten Klooster. "Functional requirement specification in the packaging development chain." CIRP Annals 57, no. 1 (2008): 145–48. http://dx.doi.org/10.1016/j.cirp.2008.03.052.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Wang, Ke, and Wenxian Fu. "Transcriptional regulation of Treg homeostasis and functional specification." Cellular and Molecular Life Sciences 77, no. 21 (April 29, 2020): 4269–87. http://dx.doi.org/10.1007/s00018-020-03534-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Wen, Zhi Cheng, and Zhi Gang Chen. "Extending Object-Z Formal Specification with Real-Time." Applied Mechanics and Materials 263-266 (December 2012): 1642–46. http://dx.doi.org/10.4028/www.scientific.net/amm.263-266.1642.

Full text

Abstract:

This paper extends Object-Z with Real-Time and describes the characters of real-time system: delay, timeout and multithread. Real-Time Object-Z consists two parts: functional specification and filter specification. The both for any time critical system can be developed with two parts. Functional specification developed with Object-Z formerly can be reused. The main benefit is that it is convenient to deal with the timing variables defined in the specification developed with our approach. Using our approach, we can develop real-time specification and reason about the real-time properties conveniently.

APA, Harvard, Vancouver, ISO, and other styles

35

Xia, Xue, Yan Ru Zhong, Yu Chu Qin, and Liu Jing Ji. "Research on Operational Model of New-Generation GPS Based on Dynamic Description Logic." Applied Mechanics and Materials 128-129 (October 2011): 702–5. http://dx.doi.org/10.4028/www.scientific.net/amm.128-129.702.

Full text

Abstract:

Operation and Operator are the key technologies in the new-generation geometrical product specification and verification (GPS). In order to solve the geometrical specification problems of product functional requirements and the ambiguity problems of product specification, this paper utilizes a new method based on dynamic description logic to describe the fundamental concepts of geometrical specification. It analyzes the geometrical features of geometrical product functional specification. By establishing the model of the operations, describing the input and output parameters in the specification and verification process, and analyzing the preconditions and results of the executions of specification operator and verification operator, the paper simplifies the operation results and overcomes the shortcomings of ambiguity and inconsistency in product specification process. Finally, it takes the specification process of perpendicularity as an example to prove the feasibility and validity of this method.

APA, Harvard, Vancouver, ISO, and other styles

36

Hou, Xiao Mao, Ling Ma, and Zhi Cheng Wen. "An Instance to Extend Object-Z Formal Specification." Advanced Materials Research 846-847 (November 2013): 1500–1504. http://dx.doi.org/10.4028/www.scientific.net/amr.846-847.1500.

Full text

Abstract:

Object-Z, an extension to formal specification language Z, is good for describing large scale Object-Oriented software specification. This paper introduces Real-Time Object-Z and describes the characters of real-time system: delay, timeout and multithread. Real-Time Object-Z consists two parts: functional specification and filter specification. While Object-Z has found application in a number of areas, its utility is limited by its inability to specify continuous variables and real-time constraints. The main benefit is that it is convenient to deal with the timing variables defined in the specification developed with our approach. The effective specification after applying filter part to functional part holds the form of specification developed with Object-Z. Expanded Object-Z, a modular formal specification language, is a minimum extension of the syntax and semantics of Object-Z. The main advantage of this extension lies in that it is convenient to describe and verify the complex real-time software specification.

APA, Harvard, Vancouver, ISO, and other styles

37

Mahalakshmi, K., Udayakumar Allimuthu, L. Jayakumar, and Ankur Dumka. "A Timeline Optimization Approach of Green Requirement Engineering Framework for Efficient Categorized Natural Language Documents in Non-Functional Requirements." International Journal of Business Analytics 8, no. 1 (January 2021): 21–37. http://dx.doi.org/10.4018/ijban.2021010102.

Full text

Abstract:

The system's functional requirements (FR) and non-functional requirements (NFR) are derived from the software requirements specification (SRS). The requirement specification is challenging in classification process of FR and NFR requirements. To overcome these issues, the work contains various significant contributions towards SRS, such as green requirements engineering (GRE), to achieve the natural language processing, requirement specification, extraction, classification, requirement specification, feature selection, and testing the quality attributes improvement of NFRs. In addition to this, the test pad-based quality study to determine accuracy, quality, and condition providence to the classification of non-functional requirements (NFR) is also carried out. The resulted classification accuracy was implemented in the MATLAB R2014; the resulted graphical record shows the efficient non-functional requirements (NFR) classification with green requirements engineering (GRE) framework.

APA, Harvard, Vancouver, ISO, and other styles

38

Mohd, Haslina, Fauziah Baharom, Norida Muhd Darus, Shafinah Farvin Packeer Mohamed, Zaharin Marzuki, and Muhammad Afdhal Muhammad Robie. "Functional Requirements Specification of E-Tendering Using Natural Language Approach: Towards Innovative Business Transformation." Journal of Computational and Theoretical Nanoscience 16, no. 12 (December 1, 2019): 5003–7. http://dx.doi.org/10.1166/jctn.2019.8555.

Full text

Abstract:

Recently, business transformation towards the used of Information and Communication Technology (ICT) is a necessity toward rapid industries and the paradigm shifted to sustain business competitiveness. The holistic electronic approach is one of business innovations, especially in handling a lot of tender documentations and process in an electronic environment namely as e-Tendering. Unfortunately, the existing tender process transformation in the electronic approach is not properly followed certain standard and guideline, especially in establishing a good e-Tendering functional requirements specification to ensure the organizations would be in the best served. This is important to ensure a good e-Tendering system can be developed by e-Tendering developers based on a good e-Tendering functional requirement specifications. The requirements specification is a process of documenting user and system requirements. Commonly, user and system requirements should be clear, unambiguous, easy to understand, complete, and consistent. In practice, this is difficult to achieve due to interpretation of the requirements in different ways by stakeholders, which are often inherent conflicts and inconsistencies of the requirements. The implementation of the existing e-tendering still remains uncertainties, especially in defining the functional requirements of the e-tendering system. Therefore, this study aims to construct the e-Tendering functional requirement model using requirement template in natural language representation approach. Moreover the development of this system requirement model may provide a consistency to the requirements representation. The study uses UN/CEFACT Business Standard of the e-Tendering Business. The identified functional requirements are designed by using Requirement Template to ensure the reliability and understandability of requirements. Besides, the proposed functional requirements is constructed by adapting the natural language and verified by expert review approaches. As a result, this study proposed a functional requirements specification of the e-Tendering that contains detailed description which can be referred by software practitioners in developing a secure e-tendering system effectively.

APA, Harvard, Vancouver, ISO, and other styles

39

Wang, Rong, Yuji Sato, and Shaoying Liu. "Mutated Specification-Based Test Data Generation with a Genetic Algorithm." Mathematics 9, no. 4 (February 7, 2021): 331. http://dx.doi.org/10.3390/math9040331.

Full text

Abstract:

Specification-based testing methods generate test data without the knowledge of the structure of the program. However, the quality of these test data are not well ensured to detect bugs when non-functional changes are introduced to the program. To generate test data effectively, we propose a new method that combines formal specifications with the genetic algorithm (GA). In this method, formal specifications are reformed by GA in order to be used to generate input values that can kill as many mutants of the target program as possible. Two classic examples are presented to demonstrate how the method works. The result shows that the proposed method can help effectively generate test cases to kill the program mutants, which contributes to the further maintenance of software.

APA, Harvard, Vancouver, ISO, and other styles

40

Brown, Jeff E., and Don E. Ethridge. "Functional Form Model Specification: An Application to Hedonic Pricing." Agricultural and Resource Economics Review 24, no. 2 (October 1995): 166–73. http://dx.doi.org/10.1017/s1068280500008807.

Full text

Abstract:

A combination of conceptual analysis and empirical analysis—partial regression and residuals analysis—was used to derive an appropriate functional form hedonic price model. These procedures are illustrated in the derivation of a functional form hedonic model for an automated, econometric daily cotton price reporting system for the Texas-Oklahoma cotton market. Following conceptualization to deduce the general shapes of relationships, the appropriate specific functional form was found by testing particular attribute transformations identified from partial regression analysis. Minimizing structural errors across attribute levels and estimation accuracy were used in determining when an appropriate functional form for both implicit and explicit prices was found.

APA, Harvard, Vancouver, ISO, and other styles

41

Breuss, Martin W., Ines Leca, Thomas Gstrein, Andi H. Hansen, and David A. Keays. "Tubulins and brain development – The origins of functional specification." Molecular and Cellular Neuroscience 84 (October 2017): 58–67. http://dx.doi.org/10.1016/j.mcn.2017.03.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Rayward‐Smith, V. J., and A. E. Omar. "Determining periodicity: a case study of a functional specification." International Journal of Mathematical Education in Science and Technology 26, no. 5 (September 1995): 655–73. http://dx.doi.org/10.1080/0020739950260503.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Robach, C., D. Lutoff, and N. Garcia. "Knowledge-based functional specification of test and maintenance programs." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 8, no. 11 (1989): 1145–56. http://dx.doi.org/10.1109/43.41500.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Fallot, Yann, François Thiébaut, and Marie Royer. "Functional ISO specification of a blade: a tolerancing challenge." Procedia CIRP 75 (2018): 190–95. http://dx.doi.org/10.1016/j.procir.2018.02.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Yamada, Soichiro, and W. James Nelson. "Synapses: Sites of Cell Recognition, Adhesion, and Functional Specification." Annual Review of Biochemistry 76, no. 1 (June 7, 2007): 267–94. http://dx.doi.org/10.1146/annurev.biochem.75.103004.142811.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

McDonald, Bill, and Michael H. Morris. "The Functional Specification of Financial Ratios: An Empirical Examination." Accounting and Business Research 15, no. 59 (June 1985): 223–28. http://dx.doi.org/10.1080/00014788.1985.9729267.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Kermad, L., C. Ausfelder, J. P. Bourey, and E. Castelain. "Integrative approach for a functional specification of FMS control." Computer Integrated Manufacturing Systems 6, no. 4 (November 1993): 219–27. http://dx.doi.org/10.1016/0951-5240(93)90033-m.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Runciman, Colin, and Nigel Jagger. "Relative specification and transformational re-use of functional programs." Lisp and Symbolic Computation 3, no. 1 (January 1990): 21–37. http://dx.doi.org/10.1007/bf01806124.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Penry, David A., and Kurtis D. Cahill. "ADL-Based Specification of Implementation Styles for Functional Simulators." International Journal of Parallel Programming 41, no. 2 (October 9, 2012): 163–211. http://dx.doi.org/10.1007/s10766-012-0223-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

PATHAK, JYOTISHMAN, SAMIK BASU, ROBYN LUTZ, and VASANT HONAVAR. "MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS." International Journal on Artificial Intelligence Tools 17, no. 01 (February 2008): 109–38. http://dx.doi.org/10.1142/s0218213008003807.

Full text

Abstract:

We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented using labeled transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Functional specification'

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