Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Specification

Results

Building reliable interactive information systems
1986 / IEEE
By: Piercher, P.A.; Wasserman, A.I.; Shewmake, D.T.;
Functional programming, formal specification, and rapid prototyping
1986 / IEEE
By: Henderson, P.;
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems
1986 / IEEE
By: Avrunin, G.S.; Riddle, W.E.; Wileden, J.C.; Dillon, L.K.;
Specification directed module testing
1986 / IEEE
By: Hayes, I.J.;
Verification and Validation for Trustworthy Software Systems
2011 / IEEE
By: Michael, J.B.; Man-Tak Shing; Otani, T.W.; Drusinsky, D.;
Learning and Practice of the Property Specification Language
2011 / IEEE
By: Troquard, Nicolas;
Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications
2012 / IEEE
By: Dasgupta, P.; Banerjee, A.; Das, S.;
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques
2012 / IEEE
By: Mekki, A.; Toguyeni, A.; Ghazel, M.;
Managing iterations with UNICASE
2010 / IEEE / 978-1-60558-719-6
By: Koegel, M.; Helming, J.;
Model checking lots of systems: efficient verification of temporal properties in software product lines
2010 / IEEE / 978-1-60558-719-6
By: Heymans, P.; Classen, A.; Raskin, J.-F.; Legay, A.; Schobbens, P.-Y.;
Applying pattern structures to document and reuse components in component-based software engineering environments
2011 / IEEE / 978-1-4577-0966-1
By: Bruzon, L.; Malucelli, A.; Reinehr, S.; Paludo, M.; Pinho, P.;
The Role of Requirements and Specification in Product Line Engineering
2011 / IEEE / 978-1-4577-1029-2
By: Broy, M.;
Formal Approaches to Mode Conversion and Positioning for Vehicle System
2011 / IEEE / 978-1-4577-0980-7
By: Wen Su; Huibiao Zhu; Jian Guo; Xiaofeng Wu; Fan Yang;
Symbolic model checking of software product lines
2011 / IEEE / 978-1-4503-0445-0
By: Schobbens, P.; Heymans, P.; Classen, A.; Legay, A.;
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP
2011 / IEEE / 978-1-4577-0980-7
By: Xijiao Xiong; Dehui Du;
Transforming an enterprise model into a use case model using existing heuristics
2011 / IEEE / 978-1-4577-0959-3
By: Silva, P.S.M.; Siqueira, F.L.;
Improving usability of interactive graphics specification and implementation with picking views and inverse transformation
2011 / IEEE / 978-1-4577-1247-0
By: Conversy, S.;
Inheritance and Modularity in Specification and Verification of OO Programs
2011 / IEEE / 978-1-4577-1487-0
By: Qiu Zongyan; Ali, H.; Liu Yijing;
Behaviour-based virus detection system using Interval Temporal Logic
2011 / IEEE / 978-1-4577-1891-5
By: Cau, A.; Al Amro, S.;
Interactive visualization and search system for speech corpora
2011 / IEEE / 978-1-4577-0931-9
By: Yamakawa, K.; Kajiyama, T.; Itahashi, S.; Matsui, T.; Ishimoto, Y.;
Towards eliminating configuration errors in cyber infrastructure
2011 / IEEE / 978-1-4673-0402-3
By: Narain, S.; Al-Shaer, E.; Malik, S.;
Towards an electronic voting system in support for consensus in on-line learning discussions
2011 / IEEE / 978-1-4673-0126-8
By: Rodriguez, D.; Caballe, S.;
Policy rule-sets for policy based systems
2011 / IEEE / 978-1-908320-00-1
By: Choudhary, A.R.;
An integrated approach for specification and design of automated production systems
2011 / IEEE / 978-1-4577-1524-2
By: Ferrarini, L.; Dede, A.; Allevi, M.; Mantovani, G.;
A State Machine Analysis Support System Based on the Problem Frames
2011 / IEEE / 978-1-4577-2199-1
By: Yokoyama, K.; Shigo, O.;
Early identification, specification and measurement for data definition and database requirements
2012 / IEEE / 978-1-4673-1550-0
By: Al-Khasawneh, A.; Meridji, K.; Al-Sarayreh, K.T.;
Further steps towards efficient runtime verification: Handling probabilistic cost models
2012 / IEEE / 978-1-4673-1906-5
By: Ghezzi, C.; Filieri, A.;
New generation operations systems and software and SOA improving the business of telecom operator
2012 / IEEE / 978-953-233-068-7
By: Hadzic, A.; Hajdarevic, K.; Mateljan, T.;
Test generation for subtractive specification errors
2012 / IEEE / 978-1-4673-1074-1
By: Lee, P.S.; Harris, I.G.;
CrowdMine: Towards crowdsourced human-assisted verification
2012 / IEEE / 978-1-4503-1199-1
By: Jha, S.; Seshia, S.A.; Wenchao Li;
Frequency Linear-time Temporal Logic
2012 / IEEE / 978-1-4673-2353-6
By: Leucker, Martin; Decker, Normann; Bollig, Benedikt;
Management of documentation and maintainability in the context of software handover
2012 / IEEE / 978-89-88678-68-8
By: Mattsson, Mira Kajko; Khan, Ahmad Salman;
Applying SOFL to construct requirements specification for examination monitoring system
2012 / IEEE / 978-1-4673-2008-5
By: Mat, A.R.; Mit, E.; Jambli, M.N.; Masli, A.B.; Khairuddin, M.A.;
Analog field programmable CMOS operational transresistance amplifier (OTRA)
2013 / IEEE
By: Markan, C.M.; Kapur, G.; Mittal, S.; Pyara, V.P.;
Bells, Whistles, Power, and the Requirements Process
2013 / IEEE
By: DeMarco, Tom;
RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications
2015 / IEEE
By: Dey, Soumyajit; Hazra, Aritra; Ghosh, Saurav Kumar;
The Smart Device specification for remote labs
2015 / IEEE
By: Gillet, Denis; Halimi, Wissam; Govaerts, Sten; Salzmann, Christophe;
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems
2014 / IEEE
By: Ogata, Kazuhiro; Zhang, Min; Choi, Yunja;
Tool Support for Rigorous Formal Specification Inspection
2014 / IEEE
By: Li, Mo; Liu, Shaoying;
Writing Software Specifications
2015 / IEEE
By: Hinsen, Konrad;
A framework to specify big data driven complex cyber physical control systems
2014 / IEEE
By: Zhang, Lichen;
Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system
2014 / IEEE
By: Mazigh, Belhassen; Garoui, Mohamed; Koukam, Abderrafiaa; El Ayeb, Bechir;
Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory
2013 / IEEE
By: Zhang, Lichen; Xu, Bingqing;
Specifying and Modeling Railway Cyber Physical Systems by the Extension of AADL
2013 / IEEE
By: Zhang, Lichen;
An Evaluation Method for Radiated Emissions of Components and Modules in Mobile Devices
2014 / IEEE
By: Song, E.; Park, H. H.; Park, H.-B.;
A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems
2013 / IEEE
By: Zhang, Lichen; Xu, Bingqing;
Reliability methodology and theory for development of novel railway signalling systems
2014 / IEEE
By: Qian, Fucai; Liang, Yanmin; Xie, Guo; Hei, Xinhong;
The Learning Object Triangle
2014 / IEEE
By: Anane, Rachid;
Formal verification of crossover operator in Genetic Algorithms using Prototype Verification System (PVS)
2013 / IEEE
By: Lali, M. IkramUllah; Nawaz, M. Saqib; Pasha, M. A.;
Research on performance test method of silicon pyranometer
2013 / IEEE
By: Wenhua, Lu; Zeqiang, Bian; Wei, Chong; Xiaolei, He; Yizhuo, Sha;
Relaxation of the multicarrier passive intermodulation specifications of antennas
2014 / IEEE
By: Soubercaze-Pun, Geoffroy; Sombrin, Jacques; Albert, Isabelle;
Specification and Analysis of Attribute-Based Access Control Policies: An Overview
2014 / IEEE
By: Zhang, Yunpeng; Xu, Dianxiang;
Formal methods for safety critical system specification
2014 / IEEE
By: Lockhart, Jonathan; Wilsey, Philip; Purdy, Carla;
Towards a Hybrid Framework for Detecting Input Manipulation Vulnerabilities
2013 / IEEE
By: Ding, Sun; Padmanabhuni, Bindu Madhavi; Shar, Lwin Khin; Tan, Hee Beng Kuan;
A framework for specification of arming system safety functions
2013 / IEEE
By: Slipper, D; Ifill, W; McEwan, A A;
Engineer, document and maintain IEC 61850 based protection systems
2014 / IEEE
By: Oomens, Peter; Janssen, Marco C.;
Seeking the 'holy Braille' display: might electromechanically active polymers be the solution?
2011 / Expert Reviews
By: Federico Carpi; Noel H Runyan;
Purity specification methods for ionic liquids
2008 / RSC Publishing
By: Annegret Stark; Peter Behrend; Oliver Braun; Anja Muumlller; Johannes Ranke; Bernd Ondruschka; Bernd Jastorff;
Exploring parafunctional programming: separating the what from the how
1988 / IEEE
By: Hudak, P.;
A software environment for the specification and analysis of problems of coordination and concurrency
1988 / IEEE
By: Meth, K.Z.; Barbara, D.; Aggarwal, S.;
PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols
1988 / IEEE
By: Billington, J.; Wilbur-Ham, M.C.; Wheeler, G.R.;
The IC* model of parallel computation and programming environment
1988 / IEEE
By: Ness, L.; Keese, W.M., II; Gopinath, B.; Cohen, D.M.; Cameron, E.J.; Vollaro, J.R.; Uppaluru, P.;
PROSPEC: an interactive programming environment for designing and verifying communication protocols
1988 / IEEE
By: Chow, C.-H.; Lam, S.S.;
Semiautomatic implementation of protocols using an Estelle-C compiler
1988 / IEEE
By: Vuong, S.T.; Chan, R.I.; Lau, A.C.;
Guided synthesis and formal verification techniques for parameterized hardware modules
1988 / IEEE / 0-8186-0834-X
By: Verkest, D.; Johannes, P.; Claesen, L.; De Man, H.;
Application of temporal logic to the assistance of hardware logic design
1988 / IEEE / 0-8186-0859-5
By: Fujita, M.;
An accurate and efficient performance analysis technique for multiprocessor snooping cache-consistency protocols
1988 / IEEE / 0-8186-0861-7
By: Lazowska, E.D.; Vernon, M.K.; Zahorjan, J.;
The broad spectrum toolset for upstream testing, verification and analysis
1988 / IEEE / 0-8186-0868-4
By: Gerhart, S.L.;
Generic constraint logic programming and incompleteness in the analysis of software
1988 / IEEE / 0-8186-0868-4
By: Wild, C.;
State coverage of embedded realtime programs
1988 / IEEE / 0-8186-0868-4
By: Sneed, H.M.;
A microprogramming logic
1988 / IEEE
By: Damm, W.;
Misconceptions about real-time computing: a serious problem for next-generation systems
1988 / IEEE
By: Stankovic, J.A.;
The formal specification and design of a distributed electronic funds-transfer system
1988 / IEEE
By: Staskauskas, M.G.;
Proposed Federal Standard 1070
1988 / IEEE / 0-8186-0891-9
By: Hull, J.A.;
Superconducting magnets for CEBAF
1988 / IEEE
By: Gavalya, A.; Bardos, V.; Brindza, P.; Tuzel, W.; O'Meara, J.;
Analysis of distributed systems with many identical processes
1988 / IEEE / 0-8186-0865-X
By: Garg, V.K.;
Application of formal description techniques to the specification of distributed test systems
1988 / IEEE / 0-8186-0833-1
By: Linn, R.J., Jr.; Favreau, J.-P.;
Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems
1988 / IEEE / 0-8186-0874-9
By: Urban, J.E.; Diaz-Gonzales, J.P.;
Object-oriented conceptual programming based on PROT nets
1988 / IEEE / 0-8186-0874-9
By: Berti, V.; Baldassari, M.; Bruno, G.;
Proving circuit correctness using formal comparison between expected and extracted behaviour
1988 / IEEE / 0-8186-0864-1
By: Madre, J.-C.; Billon, J.-P.;
The requirement model in a knowledge-based rapid prototyping system
1988 / IEEE / 0-8186-0873-0
By: Chen, P.-M.; Chou, C.-R.;
A model for the specification and interpretation of visual languages
1988 / IEEE / 0-8186-0876-5
By: Leoncini, P.; Tortora, G.;
Using the expert's diagrams as a specification of expertise
1988 / IEEE / 0-8186-0876-5
By: Casner, S.; Bonar, J.;
Adjustable-speed drive applications in the oil and gas pipeline industry
1989 / IEEE
By: Turner, E.B.; LeMone, C.P.;
Constructing specifications by combining parallel elaborations
1989 / IEEE
By: Feather, M.S.;
A visual language compiler
1989 / IEEE
By: Chang, S.-K.; Yu, J.-S.; Yu, B.; Tauber, M.J.;
A higher level hardware design verification
1988 / IEEE / 0-8186-0872-2
By: Nanya, T.; Takahara, A.;
A specification of a distributed heterogeneous systems administration
1988 / IEEE / 0-8186-0897-8
By: Gervais, M.P.; Claude, J.P.; Seret, D.;
V&V in the next decade [software validation]
1989 / IEEE
By: Dunham, J.R.;
Reasoning about time in higher-level language software
1989 / IEEE
By: Shaw, A.C.;
APAP: a computer-based tool for analyzing data flow in arithmetic pipelines
1988 / IEEE
By: Lin, C.-C.; Carpinelli, J.; Singh, M.;
Geometric data transfer between CAD systems: solid models
1989 / IEEE
By: Palstroem, B.; Kroszynski, U.I.; Schlechtendahl, E.G.; Trostmann, E.;
Abstraction and specification of local area networks
1989 / IEEE / 0-8186-1918-x
By: George, K.M.; Fisher, D.D.; Jo, C.-H.;
On substitutional recursion over non-well-founded sets
1989 / IEEE / 0-8186-1954-6
By: Fernando, R.T.P.;
TRIO, a logic formalism for the specification of real-time systems
1989 / IEEE / 0-8186-1956-2
By: Morzenti, A.; Zoccolante, L.; Roncato, M.; Ratto, E.;
Petri net tools for the specification and analysis of discrete controllers
1990 / IEEE
By: Willson, R.G.; Krogh, B.H.;
Implementing OSI systems
1989 / IEEE
By: Svobodova, L.;
Modeling semantic constraints with logic in the EARL data model
1989 / IEEE / 0-8186-1915-5
By: Bonnell, R.D.; Davis, J.P.;
Software development: a problem-theoretic analysis and model
1989 / IEEE / 0-8186-1912-0
By: Haeberer, A.M.; Veloso, P.A.S.;
An intelligent assistant for software information checking using a non-monotonic reasoning system
1989 / IEEE / 0-8186-1912-0
By: Weigert, T.; Tsai, J.J.;

Next Page
Return To Top