|
Universal Systems Language
Universal Systems Language (USL) is a systems modeling language and formal method for the specification and design of software and other complex systems. It was designed by Margaret Hamilton based on her experiences writing flight software for the Apollo program. M. Hamilton and W. R. Hackler,Universal Systems Language: Lessons Learned from Apollo, IEEE Computer, Dec. 2008. The language is implemented through the 001 Tool Suite software by Hamilton Technologies, Inc. USL evolved from 001AXES which in turn evolved from AXES all of which are based on Hamilton's axioms of control. The 001 Tool Suite uses the preventive concept of Development Before the Fact (DBTF) for its life-cycle development process. DBTF eliminates errors as early as possible during the development process removing the need to look for errors after-the-fact. Philosophy USL was inspired by Hamilton's recognition of patterns or categories of errors occurring during Apollo software development. Certain correctn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modeling Language
A modeling language is any artificial language that can be used to express information or knowledge or systems in a structure that is defined by a consistent set of rules. The rules are used for interpretation of the meaning of components in the structure. Overview A modeling language can be graphical or textual. * ''Graphical'' modeling languages use a diagram technique with named symbols that represent concepts and lines that connect the symbols and represent relationships and various other graphical notation to represent constraints. * ''Textual'' modeling languages may use standardized keywords accompanied by parameters or natural language terms and phrases to make computer-interpretable expressions. An example of a graphical modeling language and a corresponding textual modeling language is EXPRESS. Not all modeling languages are executable, and for those that are, the use of them doesn't necessarily mean that programmers are no longer required. On the contrary, executab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Method
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specification may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Margaret Hamilton (scientist)
Margaret Heafield Hamilton (born August 17, 1936) is an American computer scientist, systems engineer, and business owner. She was director of the Software Engineering Division of the MIT Instrumentation Laboratory, which developed on-board flight software for NASA's Apollo program. She later founded two software companies—Higher Order Software in 1976 and Hamilton Technologies in 1986, both in Cambridge, Massachusetts. Hamilton has published more than 130 papers, proceedings, and reports, about sixty projects, and six major programs. She is one of the people credited with coining the term "software engineering". On November 22, 2016, Hamilton received the Presidential Medal of Freedom from president Barack Obama for her work leading to the development of on-board flight software for NASA's Apollo Moon missions. Early life and education Margaret Elaine Heafield was born August 17, 1936, in Paoli, Indiana, to Kenneth Heafield and Ruth Esther Heafield (). The family later ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IEEE Software
''IEEE Software'' is a bimonthly peer-reviewed magazine and scientific journal published by the IEEE Computer Society covering all aspects of software engineering, processes, and practices. Its mission is to be the best source of reliable, useful, peer-reviewed information for leading software practitioners—the developers and managers who want to keep up with rapid technology change. It was established in 1983 and is published by the IEEE Computer Society. According to the ''Journal Citation Reports'', the journal has a 2018 impact factor of 2.945. ''IEEE Software'' received the APEX 2016 Award of Excellence in the “Magazines, Journals & Tabloids — Electronic” category. ''IEEE Software'''s November/December 2016 issue, “The Role of the Software Architect,” won the 2017 Folio Eddies Digital Award in the "Standalone Digital Magazine; Association/Non-Profit (B-to-B) – Standalone Digital Magazine – less than 6 issues" category. ''IEEE Software'' also received an honora ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Usability
Usability can be described as the capacity of a system to provide a condition for its users to perform the tasks safely, effectively, and efficiently while enjoying the experience. In software engineering, usability is the degree to which a software can be used by specified consumers to achieve quantified objectives with effectiveness, efficiency, and satisfaction in a quantified context of use. The object of use can be a software application, website, book, tool, machine, process, vehicle, or anything a human interacts with. A usability study may be conducted as a primary job function by a ''usability analyst'' or as a secondary job function by designers, technical writers, marketing personnel, and others. It is widely used in consumer electronics, communication, and knowledge transfer objects (such as a cookbook, a document or online help) and mechanical objects such as a door handle or a hammer. Usability includes methods of measuring usability, such as needs analysis and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology (information Science)
In computer science and information science, an ontology encompasses a representation, formal naming, and definition of the categories, properties, and relations between the concepts, data, and entities that substantiate one, many, or all domains of discourse. More simply, an ontology is a way of showing the properties of a subject area and how they are related, by defining a set of concepts and categories that represent the subject. Every academic discipline or field creates ontologies to limit complexity and organize data into information and knowledge. Each uses ontological assumptions to frame explicit theories, research and applications. New ontologies may improve problem solving within that domain. Translating research papers within every field is a problem made easier when experts from different countries maintain a controlled vocabulary of jargon between each of their languages. For instance, the definition and ontology of economics is a primary concern in Marxist econo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ucs Rules
UCS may refer to: Educational institutions * University College School, a British independent school situated in Hampstead, north west London * University Campus Suffolk, former name of a university based in Ipswich, Suffolk, United Kingdom * University of Caxias do Sul, a university in Brazil Technology * Cisco Unified Computing System, a computing server product line * Uniform Communication Standard, an electronic commerce standard * Uniform-cost search, an algorithm used to search a weighted graph * Univention Corporate Server, an operating and management system for IT infrastructure * Universal Character Set, a standard for character encoding * Universal Character Set feature for impact printers * Universal Charging Solution, a proposed standard for cell phone chargers * Uniform color space, a type of mathematical color model Other * Civic Solidarity Union, a political party in Bolivia * Uniform Color Scales, a color space developed by the Optical Society of America * Union o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Systems Philosophy
Systems philosophy is a discipline aimed at constructing a new philosophy (in the sense of worldview) by using systems concepts. The discipline was first described by Ervin Laszlo in his 1972 book ''Introduction to Systems Philosophy: Toward a New Paradigm of Contemporary Thought''. It has been described as the "reorientation of thought and world view ensuing from the introduction of "systems" as a new scientific paradigm". Overview Soon after Laszlo founded systems philosophy it was placed in context by Ludwig von Bertalanffy, one of the founders of general system theory, when he categorized three domains within systemics namely: # " Systems science", which is concerned with "scientific exploration and theory of "systems" in the various sciences...and general system theory as doctrine of principles applying to all systems"; # "Systems technology", which is concerned with "the problems arising in modern technology and society, comprising both the "hardware" of computers, automation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IDEF
IDEF, initially an abbreviation of ICAM Definition and renamed in 1999 as Integration Definition,IEEE Standard for Functional Modeling Language—Syntax and Semantics for IDEF0, Software Engineering Standards Committee of the IEEE Computer Society, IEEE-SA Standards Board, The Institute of Electrical and Electronics Engineers, Inc. 345 East 47th Street, New York, NY 10017-2394, USA 25 June 1998 is a family of modeling languages in the field of systems and software engineering. They cover a wide range of uses from functional modeling to data, simulation, object-oriented analysis and design, and knowledge acquisition. These definition languages were developed under funding from U.S. Air Force and, although still most commonly used by them and other military and United States Department of Defense (DoD) agencies, are in the public domain. The most-widely recognized and used components of the IDEF family are IDEF0, a functional modeling language building on SADT, and IDEF1X, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model-driven Architecture
Model Driven Architecture (MDA) is a software design approach for the development of software systems. It provides a set of guidelines for the structuring of specifications, which are expressed as models. Model Driven Architecture is a kind of domain engineering, and supports model-driven engineering of software systems. It was launched by the Object Management Group (OMG) in 2001."OMG pursues new strategic direction to build on success of past efforts" Overview Model Driven Architecture® (MDA®) "provides an approach for deriving value from models and architecture in support of the full life cycle of physical, organizational and I.T. systems". A model is a (representation of) an abstraction of a system. MDA® provides value by producing models ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Systems Modeling Language
The Systems Modeling Language (SysML) is a general-purpose modeling language for systems engineering applications. It supports the specification, analysis, design, verification and validation of a broad range of systems and systems-of-systems. SysML was originally developed by an open source specification project, and includes an open source license for distribution and use. SysML is defined as an extension of a subset of the Unified Modeling Language (UML) using UML's profile mechanism. The language's extensions were designed to support systems engineering activities. Contrast with UML SysML offers several systems engineering specific improvements over UML, which has been developed as a software modeling language. These improvements include the following: * SysML's diagrams express system engineering concepts better due to the removal UML's software-centric restrictions and adds two new diagram types, requirement and parametric diagrams. The former can be used for requirem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
