1 In a world filled with more“stuff”than we need,sharing libraries are emerging as a solution to both environmental and economic concerns.Unlike traditional libraries,these“libraries of things”offer a variety of i...1 In a world filled with more“stuff”than we need,sharing libraries are emerging as a solution to both environmental and economic concerns.Unlike traditional libraries,these“libraries of things”offer a variety of items for borrowing,often for free or at a low cost.2 For example,the Oxford Maternity Clothes Library provides expectant mothers with free maternity wear,while the Warwick Toy Library allows locals to borrow toys and even reserve them online.The Tool Library in Wolverhampton offers gardening and DIY equipment,and the Share Shed in Devon has over 350 items available.Nappy libraries also provide parents with reusable cloth nappies(尿布),reducing costs and waste.展开更多
Component-based development needs a well-designed components library and a set of support tools. This paper prasents the design and implementation of a components library system model and its support tool UMLCASE, A s...Component-based development needs a well-designed components library and a set of support tools. This paper prasents the design and implementation of a components library system model and its support tool UMLCASE, A set of practical CASE tools is constructed. UMLCASE can use UML to design Use Case Diagram, Class Diagram etc. And it integrates with components library system. Key words component technology - components library - support tool for components library CLC number TP 311. 52 - TP 311 Foundation item: Supported by the National Natural Science Fundation of China (60373072) and National 973 Program (2002CB312001)Biography: MIAO Huai-kou (1953-), male. Professor, research direction: formal methods, software engineering and automatic reasoning.展开更多
Software systems are present all around us and playing their vital roles in our daily life.The correct functioning of these systems is of prime concern.In addition to classical testing techniques,formal techniques lik...Software systems are present all around us and playing their vital roles in our daily life.The correct functioning of these systems is of prime concern.In addition to classical testing techniques,formal techniques like model checking are used to reinforce the quality and reliability of software systems.However,obtaining of behavior model,which is essential for model-based techniques,of unknown software systems is a challenging task.To mitigate this problem,an emerging black-box analysis technique,called Model Learning,can be applied.It complements existing model-based testing and verification approaches by providing behavior models of blackbox systems fully automatically.This paper surveys the model learning technique,which recently has attracted much attention from researchers,especially from the domains of testing and verification.First,we review the background and foundations of model learning,which form the basis of subsequent sections.Second,we present some well-known model learning tools and provide their merits and shortcomings in the form of a comparison table.Third,we describe the successful applications of model learning in multidisciplinary fields,current challenges along with possible future works,and concluding remarks.展开更多
文摘1 In a world filled with more“stuff”than we need,sharing libraries are emerging as a solution to both environmental and economic concerns.Unlike traditional libraries,these“libraries of things”offer a variety of items for borrowing,often for free or at a low cost.2 For example,the Oxford Maternity Clothes Library provides expectant mothers with free maternity wear,while the Warwick Toy Library allows locals to borrow toys and even reserve them online.The Tool Library in Wolverhampton offers gardening and DIY equipment,and the Share Shed in Devon has over 350 items available.Nappy libraries also provide parents with reusable cloth nappies(尿布),reducing costs and waste.
文摘Component-based development needs a well-designed components library and a set of support tools. This paper prasents the design and implementation of a components library system model and its support tool UMLCASE, A set of practical CASE tools is constructed. UMLCASE can use UML to design Use Case Diagram, Class Diagram etc. And it integrates with components library system. Key words component technology - components library - support tool for components library CLC number TP 311. 52 - TP 311 Foundation item: Supported by the National Natural Science Fundation of China (60373072) and National 973 Program (2002CB312001)Biography: MIAO Huai-kou (1953-), male. Professor, research direction: formal methods, software engineering and automatic reasoning.
基金the National Natural Science Foundation of China(NSFC)(Grant Nos.61872016,61932007 and 61972013).
文摘Software systems are present all around us and playing their vital roles in our daily life.The correct functioning of these systems is of prime concern.In addition to classical testing techniques,formal techniques like model checking are used to reinforce the quality and reliability of software systems.However,obtaining of behavior model,which is essential for model-based techniques,of unknown software systems is a challenging task.To mitigate this problem,an emerging black-box analysis technique,called Model Learning,can be applied.It complements existing model-based testing and verification approaches by providing behavior models of blackbox systems fully automatically.This paper surveys the model learning technique,which recently has attracted much attention from researchers,especially from the domains of testing and verification.First,we review the background and foundations of model learning,which form the basis of subsequent sections.Second,we present some well-known model learning tools and provide their merits and shortcomings in the form of a comparison table.Third,we describe the successful applications of model learning in multidisciplinary fields,current challenges along with possible future works,and concluding remarks.
