• Nenhum resultado encontrado

[PDF] Top 20 Introduction of the Formal Methods in Software Engineering Training

Has 10000 "Introduction of the Formal Methods in Software Engineering Training" found on our website. Below are the top 20 most common "Introduction of the Formal Methods in Software Engineering Training".

Introduction of the Formal Methods in Software Engineering Training

Introduction of the Formal Methods in Software Engineering Training

... de software científico que los métodos tradicionales por etapas de tipo ...de software que han participado con éxito en el desarrollo ágil científico [8, ...de software científico, surge el ... See full document

6

Roadmap to a DO-178C Formal Model-Based Software Engineering Methodology

Roadmap to a DO-178C Formal Model-Based Software Engineering Methodology

... At the end of each stage of the model development process, transformation may be conducted to go from an informal (UML) model to a formal (Z notation) representation ...(model). ... See full document

6

Application of Formal Methods in the ITASAT Project

Application of Formal Methods in the ITASAT Project

... critical software that could be described as a state-machine model. The ESA report mentioned in Chap- ter 3 provided a helpful starting point in the development of the ... See full document

102

Beta: a B based testing approach

Beta: a B based testing approach

... part of our lives and, more than ever, they require a high level of ...many software Verification and Validation (V&V) techniques that are concerned with quality control, security, robustness, ... See full document

176

DOCTORATE IN INFORMATICS ENGINEERING SPECIALTY: SOFTWARE ENGINEERING

DOCTORATE IN INFORMATICS ENGINEERING SPECIALTY: SOFTWARE ENGINEERING

... on the other hand, rarely rely on a separate event detection process, and instead attempt to disaggregate the total load in separate time slices using some of the methods ... See full document

293

J. Soc. Bras. Fonoaudiol.  vol.24 número1 en v24n1a07

J. Soc. Bras. Fonoaudiol. vol.24 número1 en v24n1a07

... verify the applicability of a software in the (re)habilitation of hearing impaired ...children. Methods: The sample comprised 17 children with hearing impairment, ... See full document

8

Editorial

Editorial

... mission of the e-Informatica Software Engineering Journal is to be a prime international journal to publish research findings and IT industry expe- riences related to theory, practice and ... See full document

1

Teaching Software Engineering: Problems and Suggestions

Teaching Software Engineering: Problems and Suggestions

... The software development process and software life cycle usually introduces students to the waterfall model, iterative models ...process. The waterfall model is well defined and ... See full document

4

Risk Management Adoption Framework for Software Projects: A Case Study for Kenyan Software Project Managers and Developers

Risk Management Adoption Framework for Software Projects: A Case Study for Kenyan Software Project Managers and Developers

... Despite the existence and availability of proper software development risk management processes, Kenyan’s software projects experience myriad of ...at software risk management ... See full document

10

Master’s thesis in Software Engineering

Master’s thesis in Software Engineering

... used the Westin/Harris Privacy Segmentation Model in a location‐sharing privacy evaluation and concluded that participant’s chose to respond with relatively vague location ...to the entity requesting ... See full document

187

Empirical Studies in Software Engineering

Empirical Studies in Software Engineering

... identify the available literature before performing conventional systematic literature ...use the same methods for searching and extracting data as conventional systematic literature reviews, but ... See full document

20

Status of national health planning

Status of national health planning

... By the end of 1964, more than 100 national and international sen- ior health officials from the American countries will have received formal training in health planning methods -- th[r] ... See full document

9

Engineering in the Cloud: An Engineering Software + Services Architecture Forged in Turbulent Times

Engineering in the Cloud: An Engineering Software + Services Architecture Forged in Turbulent Times

... as the starting point for a new design. As well as locating the original design it must be possible for the new engineer to rapidly understand how the original design was reached, the ... See full document

8

Enhanced Re-Engineering Mechnanism to Improve the Efficiency of Software Re-Engineering

Enhanced Re-Engineering Mechnanism to Improve the Efficiency of Software Re-Engineering

... a software re- engineering process that exploits not just a single, but a mixture of abstraction methods and abstraction levels to transform a traditional software system to a new ... See full document

6

Managament quality of tools in the planned housing casting

Managament quality of tools in the planned housing casting

... Subbotko, Methods of distribution of tool at units based on TM software of Guhring, Production Engineering Wroc ł aw University of Technology,(2006) 273- 280 (in Polish).. Bocheński, C[r] ... See full document

4

SOCIAL ECONOMY – A FORM OF INCLUSION AND OF ''REACTIVATING'' OF LABOR IN THE CONTEXT OF THE CURRENT CRISIS

SOCIAL ECONOMY – A FORM OF INCLUSION AND OF ''REACTIVATING'' OF LABOR IN THE CONTEXT OF THE CURRENT CRISIS

... )n the context of the cohesion policy, solidarity must represent a support for development ...on the capacity and the training of the people to whom the ... See full document

13

An Advancement To The Security Level Through Galois Field In The Existing Password Based Technique Of Hiding Classified Information In Images

An Advancement To The Security Level Through Galois Field In The Existing Password Based Technique Of Hiding Classified Information In Images

... field in which there exists finitely many ...useful in translating computer data as they are represented in binary ...those of regular ...Using the multiplication property of ... See full document

6

The application of optical measurements for the determination of accuracy of gear wheels casts manufactured in the RT/RP process

The application of optical measurements for the determination of accuracy of gear wheels casts manufactured in the RT/RP process

... taking the measurements, an anti-reflection coating was applied on the tested gear ...wheel. The thickness of the coating ranged from 0,8 µm do 1,2 ...µm. The measurements were ... See full document

4

Jorge Miguel Sousa Barreiros

Jorge Miguel Sousa Barreiros

... on the validity of the configuration, which is handled im- plicitly by the iterative configuration algorithm, we just intend to identify and re- port potential conflicts during the ... See full document

215

Factors Affecting The Adoption Of Mhealth In Maternal Health Care In Nakuru Provincial General Hospital

Factors Affecting The Adoption Of Mhealth In Maternal Health Care In Nakuru Provincial General Hospital

... stated in their constitutions, signed treaties and conventions. Ministries of health oversee the overall development of health systems using their governance function, which includes policy ... See full document

14

Show all 10000 documents...