Listing 1 - 2 of 2 |
Sort by
|
Choose an application
“Fuzzy Engineering and Operations Research” is the edited outcome of the 5th International Conference on Fuzzy Information and Engineering (ICFIE2011) held during Oct. 15-17, 2011 in Chengdu, China and by the 1st academic conference in establishment of Guangdong Province Operations Research Society (GDPORSC) held on Oct. 20, 2011 in Guangzhou, China. The 5th ICFIE2011, built on the success of previous conferences, and the GDPORSC, first held, are major Symposiums, respectively, for scientists, engineers practitioners and Operation Research (OR) researchers presenting their updated results, developments and applications in all areas of fuzzy information and engineering and OR. It aims to strengthen relations between industry research laboratories and universities, and to create a primary symposium for world scientists in Fuzziology and OR fields. The book contains 62 papers and is divided into five main parts: “Fuzzy Optimization, Logic and Information”, “The mathematical Theory of Fuzzy Systems”, “Fuzzy Engineering Applications and Soft Computing Methods”, “OR and Fuzziology” and “Guess and Review”.
Machine learning. --- System failures (Engineering) -- Prevention -- Data processing. --- System failures (Engineering) -- Prevention. --- Engineering & Applied Sciences --- Computer Science --- Fuzzy systems --- Operations research --- Engineering. --- Artificial intelligence. --- Computational intelligence. --- Computational Intelligence. --- Artificial Intelligence (incl. Robotics). --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Construction --- Industrial arts --- Technology --- Artificial Intelligence.
Choose an application
Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle. Debbabi and his coauthors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird’s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a case study highlighting the process, its results, and resulting changes in the system design. Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development.
Quality assurance. --- Quality control. --- System failures (Engineering) -- Prevention. --- Systems engineering. --- Testing. --- Systems engineering --- Expert systems (Computer science) --- UML (Computer science) --- SysML (Computer science) --- Engineering & Applied Sciences --- Computer Science --- Verification --- Validation --- Information Technology --- Software Engineering --- Unified Modeling Language (Computer science) --- OMG SysML (Computer science) --- Systems Modeling Language (Computer science) --- Engineering systems --- System engineering --- Design and construction --- Computer science. --- Computer system failures. --- Software engineering. --- Management information systems. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- System Performance and Evaluation. --- Management of Computing and Information Systems. --- Computer software --- Modeling languages (Computer science) --- Object-oriented methods (Computer science) --- Engineering --- Industrial engineering --- System analysis --- Development --- Computer system performance. --- Information Systems. --- Computer software engineering --- Informatics --- Science --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Communication systems --- Failures
Listing 1 - 2 of 2 |
Sort by
|