Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test dat...Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used.展开更多
Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study ...Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study of Z notations, ClericalTemps, which is an agency that provides a clerical help to its clients.展开更多
The use of formal specification in software development is becoming increasingly prevalent. The Z notation is a formal method, a language, and a style for expressing formal specification of software systems. This pape...The use of formal specification in software development is becoming increasingly prevalent. The Z notation is a formal method, a language, and a style for expressing formal specification of software systems. This paper presents a part of the specification work on a hotel guestroom reservation system.展开更多
Artificial neural networks(ANNs),a branch of artificial intelligence,has become a very interesting domain since the eighties when back-propagation(BP)learning algorithm for multilayer feed-forward architecture was int...Artificial neural networks(ANNs),a branch of artificial intelligence,has become a very interesting domain since the eighties when back-propagation(BP)learning algorithm for multilayer feed-forward architecture was introduced to solve nonlinear problems.It is used extensively to solve complex nonalgorithmic problems such as prediction,pattern recognition and clustering.However,in the context of a holistic study,there may be a need to integrate ANN with other models developed in various paradigms to solve a problem.In this paper,we suggest discrete event system specification(DEVS)be used as a model of computation(MoC)to make ANN models interoperable with other models(since all discrete event models can be expressed in DEVS,and continuous models can be approximated by DEVS).By combining ANN and DEVS,we can model the complex configuration of ANNs and express its internal workings.Therefore,we are extending the DEVS-based ANN proposed by Toma et al.[A new DEVS-based generic art-ficial neural network modeling approach,The 23rd European Modeling and Simulation Symp.(Simulation in Industry),Rome,Italy,2011]for comparing multiple configuration parameters and learning algorithms and also to do prediction.The DEVS models are described using the high level language for system specification(HiLLS),[Ma¨ıga et al.,A new approach to modeling dynamic structure systems,The 29th European Modeling and Simulation Symp.(Simulation in Industry),Leicester,United Kingdom,2015]a graphical modeling language for clarity.The developed platform is a tool to transform ANN models into DEVS computational models,making them more reusable and more interoperable in the context of larger multi-perspective modeling and simulation(MAS).展开更多
文摘Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used.
文摘Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study of Z notations, ClericalTemps, which is an agency that provides a clerical help to its clients.
文摘The use of formal specification in software development is becoming increasingly prevalent. The Z notation is a formal method, a language, and a style for expressing formal specification of software systems. This paper presents a part of the specification work on a hotel guestroom reservation system.
基金funding agency in the public,commercial or not-for-profit sectors.
文摘Artificial neural networks(ANNs),a branch of artificial intelligence,has become a very interesting domain since the eighties when back-propagation(BP)learning algorithm for multilayer feed-forward architecture was introduced to solve nonlinear problems.It is used extensively to solve complex nonalgorithmic problems such as prediction,pattern recognition and clustering.However,in the context of a holistic study,there may be a need to integrate ANN with other models developed in various paradigms to solve a problem.In this paper,we suggest discrete event system specification(DEVS)be used as a model of computation(MoC)to make ANN models interoperable with other models(since all discrete event models can be expressed in DEVS,and continuous models can be approximated by DEVS).By combining ANN and DEVS,we can model the complex configuration of ANNs and express its internal workings.Therefore,we are extending the DEVS-based ANN proposed by Toma et al.[A new DEVS-based generic art-ficial neural network modeling approach,The 23rd European Modeling and Simulation Symp.(Simulation in Industry),Rome,Italy,2011]for comparing multiple configuration parameters and learning algorithms and also to do prediction.The DEVS models are described using the high level language for system specification(HiLLS),[Ma¨ıga et al.,A new approach to modeling dynamic structure systems,The 29th European Modeling and Simulation Symp.(Simulation in Industry),Leicester,United Kingdom,2015]a graphical modeling language for clarity.The developed platform is a tool to transform ANN models into DEVS computational models,making them more reusable and more interoperable in the context of larger multi-perspective modeling and simulation(MAS).
