Listing 1 - 10 of 24 | << page >> |
Sort by
|
Choose an application
Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- vormgeving --- simulaties --- programmeertalen --- software engineering --- informatica management
Choose an application
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735). The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium. .
Model-driven software architecture --- UML (Computer science) --- Unified Modeling Language (Computer science) --- Computer software --- Modeling languages (Computer science) --- Object-oriented methods (Computer science) --- MDA (Model-driven software architecture) --- Software architecture --- Development --- Software engineering. --- Computer science. --- Computer simulation. --- Information Systems. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Software Engineering. --- Management of Computing and Information Systems. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Informatics --- Science --- Computer software engineering --- Engineering --- Programming languages (Electronic computers). --- Management information systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Communication systems
Choose an application
Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for constructing, testing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques, and tools must address issues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means to assure that they will fulfill their specified services in a dependable and secure manner. The different attributes of dependability and security cannot be considered in isolation for today’s critical systems, as architecting critical systems essentially means finding the right trade-off among these attributes and the various other requirements imposed on the system. This symposium therefore brought together the four communities working on dependability, safety, security, and testing/analysis, each addressing to some extent the architecting of critical systems from their specific perspective. To this end, the symposium united the following three former events: the Workshop on Architecting Dependable Systems (WADS); the Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA); and the Workshop on Views on Designing Complex Architectures.
Computer architecture --- Fault-tolerant computing --- Software engineering --- System design --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Electrical Engineering --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Data encryption (Computer science). --- Algorithms. --- Computers and civilization. --- Computer Science. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Data Encryption. --- Information Systems Applications (incl. Internet). --- Computers and Society. --- Algorithm Analysis and Problem Complexity. --- Civilization and computers --- Civilization --- Algorism --- Algebra --- Arithmetic --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Cryptography --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Informatics --- Science --- Foundations --- Distributed processing --- Software engineering. --- Computer software. --- Cryptology. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Prag <2010>
Choose an application
This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.
Computer science. --- Software engineering. --- Data structures (Computer science). --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Discrete Mathematics in Computer Science. --- Software Engineering. --- Data Structures. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Computational complexity. --- Data structures (Computer scienc. --- Logic design. --- Computer software. --- Data structures (Computer science) --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Complexity, Computational --- Graph theory --- Data processing --- Graphs, Theory of --- Theory of graphs --- Combinatorial analysis --- Topology --- Extremal problems --- Computer science—Mathematics. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Machine theory. --- Data Science. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Choose an application
Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- computernetwerken
Choose an application
This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.
Mathematical logic --- Logic --- Complex analysis --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- complexiteit --- discrete wiskunde --- complexe analyse (wiskunde) --- bedrijfssoftware --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- database management --- wiskunde --- software engineering --- programmatielogica --- logica --- computerkunde
Choose an application
Choose an application
Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.
Embedded computer systems --- Software engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Electrical Engineering --- Information Technology --- Software Engineering --- Model-driven software architecture --- Real-time data processing --- MDA (Model-driven software architecture) --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Programming Techniques. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Computer software --- Software architecture --- Development --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Dagstuhl <2007>
Choose an application
Architecting critical systems has gained major importance in commercial, g- ernmentalandindustrialsectors. Emergingsoftwareapplicationsencompasscr- icalities that are associated with either the whole system or some of its com- nents. Therefore, e?ective methods, techniques, and tools for constructing, te- ing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques and tools must address - sues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means to assure that they will ful?ll their speci?ed services in a dependable and secure manner. The di?erent attributes of dependability and security cannot be considered in isolation for today's critical systems, as architecting critical systems ess- tially means to ?nd the right trade-o? among these attributes and the various other requirements imposed on the system. This symposium therefore brought together the four communities working on dependability, safety, security and testing/analysis, each addressing to some extent the architecting of critical s- tems from their speci?c perspective. To this end the symposium united the following three former events: - Workshop on Architecting Dependable Systems (WADS) - Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA) - Workshop on Views on Designing Complex Architectures.
Complex analysis --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- cryptografie --- complexe analyse (wiskunde) --- applicatiebeheer --- apps --- computers --- informatica --- maatschappij --- hardware --- informatiesystemen --- algoritmen --- computernetwerken --- architectuur (informatica)
Choose an application
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735). The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.
Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- vormgeving --- simulaties --- programmeertalen --- software engineering --- informatica management
Listing 1 - 10 of 24 | << page >> |
Sort by
|