NDLI: Insertion of formalism into systems level design

Please wait, while we are loading the content...

2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems

15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)

12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings.

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000)

Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems

Proceedings International Conference and Workshop on Engineering of Computer-Based Systems

Proceedings International Conference and Workshop on Engineering of Computer-Based Systems

Automatic requirements specification update processing from a requirements management tool perspective

Requirements capture and analysis prior to modeling

Establishing performance requirements of computer based systems subject to uncertainty

Detailing and deriving system requirements

Fault tolerant computing in computational field model

Model-integrated parallel application synthesis

An introduction to the processing graph method

Engineering of computer-based systems-a proposed curriculum for a degree program at Master level

Tools for model-based real-time system synthesis

Towards an application of model-based codesign: an autonomous, intelligent cruise controller

A multimodeling framework for complex software reuse

Model-based diagnosis in a power distribution testbed

A toolset for the reengineering of complex computer systems

Using software sensors for migrating from classical simulation systems towards virtual worlds

Filling the gap between CASE tools and PSEEs

Experience with the use of standard IEEE 982.1 on software programs

Process centered displays and cognitive models for command applications

C3I information flow models: integrating and interfaces

Using models and simulations to visualize NMD C3: lessons learned

Large scale models of cooperative and hostile intentions

Event based modelling and control of software development processes

An intermediate language for system engineering

Representing abstract architectures with axiomatic specifications and activation conditions

UCM-ROOM modelling: from use case maps to communicating state machines

The insides and outsides of computer-based system complexity

Staffing and organization in the engineering of systems

A model-based engineering process for increasing productivity in discrete manufacturing

A model-integrated information system for increasing throughput in discrete manufacturing

Towards an open framework for conceptual knowledge in ECBS domain and information modelling

Systems modeling, simulation and analysis using COVERS active objects

The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)

Decomposition of inheritance hierarchy DAGs for object-oriented software metrics

View based object oriented approach for complex system modelling

Simulation of hybrid mechatronic systems: a case study

A generic system for interactive real-time animation

CHaRy: the C-LAB hard real-time system to support mechatronical design

Intelligent design assistance with SEA

CASA: computer aided systems architecting

High level architecture for an advanced distributed complex systems engineering environment

The many aspects of an IT-architecture

Layered architecture(s): principles and practice in concurrent and distributed systems

Process and systems complexity

Complex systems

Are we on the way towards design habitability?

Holistic view of complexity (position statement)

Striving for coherency to mitigate the complexity of system design

An analysis of the Ariane 5 flight 501 failure-a system engineering perspective

Knowledge preserving development: a case study

Model-based development of computer-based information systems

Evaluating evolvability of computer based systems architectures-an ontological approach

System engineering based design and control of teletraining sessions in an open environment

Electronic enterprise engineering: an outline of an architecture

The Shall-Prototype-Test Development model

A survey of system design methodologies

A platform-centric functional hierarchy

Concepts for computer assisted engineering process management

Integrated development for computer-based systems

Model driven development: integrating tools with practices

An improved system engineering model

Decisions not requirements: decision-centered engineering of computer-based systems

HighRobot: a high-performance universal robot control on parallel workstations

Building distributed scalable dependable real-time systems

A digital protective relay as a real-time microprocessor system

Model-based engineering of large-scale real-time systems

Integrative, model-based engineering design

System design with models

Insertion of formalism into systems level design

Model-integrated computing environments and computer-based systems

Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions

Validation and testing of sC++ applications

The identification of integrity constraints in requirements for context monitoring

Index of authors

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems

Insertion of formalism into systems level design

Content Provider	IEEE Xplore Digital Library
Author	Alexander, P.
Copyright Year	1997
Description	Author affiliation: Dept. of Electron. Comput., Cincinnati Univ., OH, USA (Alexander, P.)
Abstract	Society's increasing dependence on complex technology mandates high assurance of system correctness. Traditional engineering disciplines such as civil or mechanical engineering achieve such assurance through applications of mathematics to system modelling. Unfortunately, system and software engineering disciplines do not enjoy pervasive use of mathematics in design activities. Most efforts in design improvement involve only the design process. Formal methods is simply the application of sound mathematical modelling and analysis techniques. Formal methods in engineering of computer-based systems is the application of mathematics to modelling systems and should be a central goal of systems engineering research.
File Size	90868
File Format	PDF
ISBN	0818678895
DOI	10.1109/ECBS.1997.581939
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1997-03-24
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	System-level design Mathematical model Application software Mathematics Design engineering System analysis and design Acoustical engineering Systems engineering and theory Continuing education Mechanical engineering
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in