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 Languages

Results

Structured programming and formal specification
1975 / IEEE
By: Noonan, R.E.;
The trace specification of communications protocols
1985 / IEEE
By: Hoffman, D.;
HPC: A model of structure and change in distributed systems
1985 / IEEE
By: Friedberg, S.A.; LeBlanc, T.J.;
Software techniques in ADA for high-level hardware descriptions
1986 / IEEE
By: Ghosh, S.;
Building reliable interactive information systems
1986 / IEEE
By: Piercher, P.A.; Wasserman, A.I.; Shewmake, D.T.;
Specification of modular systems
1986 / IEEE
By: Weber, H.; Ehrig, H.;
RT-ASLAN: A specification language for real-time systems
1986 / IEEE
By: Auernheimer, B.; Kemmerer, R.A.;
The application of formal methods to the assessment of high integrity software
1986 / IEEE
By: Froome, P.K.D.; Bloomfield, R.E.;
Generation and consistency checking of design and program structures
1986 / IEEE
By: Lichtman, Z.L.;
Functional programming, formal specification, and rapid prototyping
1986 / IEEE
By: Henderson, P.;
Mechanical verification and automatic implementation of communication protocols
1986 / IEEE
By: Sidhu, D.P.; Blumer, T.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.;
Salient features of an executable specification language and its environment
1986 / IEEE
By: Schell, W.; Zave, P.;
Real-time software life cycle with the model system
1986 / IEEE
By: Shi, Y.; Szymanski, B.; Tseng, J.S.; Prywes, N.S.;
Direct implementation of abstract data types from abstract specifications
1986 / IEEE
By: Urban, J.E.; Belkhouche, B.;
Improving Digital Game Development with Software Product Lines
2011 / IEEE
By: de Almeida, E.S.; Ramalho, G.L.; Santos, A.L.M.; Furtado, A.W.B.;
Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions
2011 / IEEE
By: Mukhopadhyay, S.; Dasgupta, P.; Mukherjee, S.;
Quantitative Analysis of Resource-Constrained Business Processes
2012 / IEEE
By: Reijers, H.A.; Lima, R.M.F.; Oliveira, C.A.L.; Ribeiro, J.T.S.;
Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach
2012 / IEEE
By: Qingsheng Zhu; Ji Liu; Yi Liu; Yunni Xia;
Domain-Specific Service Selection for Composite Services
2012 / IEEE
By: Dustdar, S.; Rosenberg, F.; Moser, O.;
An Asynchronous Analog Self-Powered CMOS Sensor-Data-Logger With a 13.56 MHz RF Programming Interface
2012 / IEEE
By: Chenling Huang; Chakrabartty, S.;
Using Propositional Logic for Requirements Verification of Service Workflow
2012 / IEEE
By: Ruchikachorn, P.; Viriyasitavat, W.; Li Da Xu; Martin, A.;
A Semantic Product Modeling Framework and Its Application to Behavior Evaluation
2012 / IEEE
By: Bock, C.; Fenves, S.J.; Lee, J.H.; Sriram, R.D.; Fiorentini, X.; Rachuri, S.; Hyo-Won Suh;
SWSpec: The Requirements Specification Language in Service Workflow Environments
2012 / IEEE
By: Li Da Xu; Viriyasitavat, W.; Martin, A.;
Implementing DDS Listeners using CAN Driver and its State manager
2012 / IEEE
By: Najjar, W.; Hasnaoui, S.; Houda, J.; Bouhouch, R.;
Using archetypes and Domain Specific Languages on development of ubiquitous applications to pervasive healthcare
2010 / IEEE / 978-1-4244-9168-1
By: Cirilo, C.E.; Menezes, A.L.; do Prado, A.F.; de Souza, W.L.; de Moraes, J.L.C.;
A flexible tool suite for change-aware test-driven development of web applications
2010 / IEEE / 978-1-60558-719-6
By: Robles Luna, E.; Rossi, G.; Grigera, J.; Burella, J.;
Generative software development
2010 / IEEE / 978-1-60558-719-6
By: Volkel, S.; Schindler, M.; Rumpe, B.; Weisemoller, I.;
A modeling language's evolution driven by tight interaction between academia and industry
2010 / IEEE / 978-1-60558-719-6
By: Pree, W.; Dauenhauer, G.; Aschauer, T.;
Providing support for creating next generation software architecture languages
2010 / IEEE / 978-1-60558-719-6
By: Malavolta, I.;
Developing next generation ADLs through MDE techniques
2010 / IEEE / 978-1-60558-719-6
By: Malavolta, I.; Di Ruscio, D.; Pierantonio, A.; Pelliccione, P.; Muccini, H.;
A declarative and operationalized language for learning systems Analysis: UTL
2011 / IEEE / 978-0-9564263-8-3
By: Iksal, S.;
Generation of database schemas from Z specifications
2011 / IEEE / 978-1-61284-466-4
By: Khalafinejad, S.; Mirian-Hosseinabadi, S.;
Managing changes with legacy security engineering processes
2011 / IEEE / 978-1-4577-0085-9
By: Felix, E.; Paci, F.; Massacci, F.; Delande, O.;
Tennis computer game with brain control using EEG signals
2011 / IEEE / 978-1-4577-1452-8
By: Lopetegui, E.; Mendez, A.; Zapirain, B.G.;
Constraints: The core of product line engineering
2011 / IEEE / 978-1-4244-8671-7
By: Salinesi, C.; Lora-Michiels, A.; Diaz, D.; Djebbi, O.; Mazo, R.;
Verifying OWL-S Service Process Models
2011 / IEEE / 978-1-4577-0842-8
By: Kirchberg, M.; Yuzhang Feng;
Domain Specific Language (DSL) development for desktop-based database application generator
2011 / IEEE / 978-1-4577-0752-0
By: Kistijantoro, A.I.; Lolong, S.;
Fine-Grained Modeling of Web Services for Test-Based Security Certification
2011 / IEEE / 978-1-4577-0863-3
By: Damiani, E.; Ardagna, C.A.; Anisetti, M.;
LiSEP: A Lightweight and Extensible Tool for Complex Event Processing
2011 / IEEE / 978-1-4577-0863-3
By: Paganelli, F.; Parlanti, D.; Zappia, I.;
Semantic Security Policy Matching in Service Oriented Architectures
2011 / IEEE / 978-1-4577-0879-4
By: Modica, G.D.; Tomarchio, O.;
Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets
2011 / IEEE / 978-1-4577-0468-0
By: Koziolek, H.; Kounev, S.; Meier, P.;
Quality Requirements Analysis Using Requirements Frames
2011 / IEEE / 978-1-4577-0754-4
By: Kaiya, H.; Ohnishi, A.;
Runtime monitoring Web services implemented in BPEL
2011 / IEEE / 978-1-4244-9984-7
By: Zhang Haiteng; Zheng Hong; Shao Zhiqing;
FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages
2011 / IEEE / 978-1-4577-0966-1
By: George, N.S.; Radimsky, A.; Cui Zhang;
Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software
2011 / IEEE / 978-1-4577-0780-3
By: Aksit, M.; Sozer, H.; de Roo, A.;
Cloud#: A Specification Language for Modeling Cloud
2011 / IEEE / 978-1-4577-0836-7
By: Zic, J.; Dongxi Liu;
Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems
2011 / IEEE / 978-1-4577-0781-0
By: Yan Cao; Yongcheng Xu; Haifeng Wang; Tao Tang; Tianhua Xu; Qiuzi Lu;
Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs
2011 / IEEE / 978-1-4577-0863-3
By: Hong Mei; Tao Xie; Zhongjie Li; Lu Zhang; Yitao Ni;
A Spring Based Framework for Verification of Service Composition
2011 / IEEE / 978-1-4577-0863-3
By: Mukherjee, A.; Bertok, P.; Tari, Z.;
RBAC for High Performance Computing Systems Integration in Grid Computing and Cloud Computing
2011 / IEEE / 978-1-61284-425-1
By: Pereira, A.L.;
Explicit Platform Descriptions for Heterogeneous Many-Core Architectures
2011 / IEEE / 978-1-61284-425-1
By: Sandrieser, M.; Pllana, S.; Benkner, S.;
A research on optimization algorithm for BPEL process based on synchronization and concurrency analysis
2011 / IEEE / 978-1-61284-088-8
By: Qiwei Wang; Junliang Chen; Budan Wu;
The research of RRC connection establishment and co-simulation of SDL and TTCN
2011 / IEEE / 978-1-4244-9600-6
By: Ce Liu; Fengming Jiao; Xiaowen Li; Demin Zhang;
Validation of SDL-Based Architectural Design Models: New Coverage Criteria
2011 / IEEE / 978-1-4577-0780-3
By: Restrepo, A.; Wong, W.E.;
DSLs for Product Lines: Approaches, Tools, Experiences
2011 / IEEE / 978-1-4577-1029-2
By: Volter, M.;
Priority inversion detection in Alvis models
2011 / IEEE / 978-83-932075-2-7
By: Szpyrka, M.; Baniewicz, J.;
From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages
2011 / IEEE / 978-0-7695-4439-7
By: Schatz, B.;
Automating the Development of Device-Aware Web Services: A Model-Driven Approach
2011 / IEEE / 978-0-7695-4439-7
By: Achilleos, A.; Papadopoulos, G.A.; Paspallis, N.;
Using ADMIRE framework and language for data mining and integration in environmental application scenarios
2011 / IEEE / 978-1-61284-181-6
By: Krammer, P.; Tran, V.; Habala, O.; Hluchy, L.; Simo, B.;
The educational modeling languages in Instructional Design: Towards a UML applications
2011 / IEEE / 978-1-4244-9718-8
By: Zhi Jiang;
Lightweight web framework oriented on page flow component
2011 / IEEE / 978-1-61284-722-1
By: Huanli Pang; Xin Chang; Lianzhe Zhou;
From IOPT Petri nets to C: An automatic code generator tool
2011 / IEEE / 978-1-4577-0434-5
By: Moutinho, F.; Pereira, F.; Campos-Rebelo, R.; Gomes, L.;
System-level design space exploration for dedicated heterogeneous multi-processor systems
2011 / IEEE / 978-1-4577-1292-0
By: Pomante, L.;
Modelling and evaluation of complex scenarios with the Strategy Game Description Language
2011 / IEEE / 978-1-4577-0011-8
By: Yannakakis, G.N.; Togelius, J.; Mahlmann, T.;
xOWL: An Executable Modeling Language for Domain Experts
2011 / IEEE / 978-0-7695-4425-0
By: Wouters, L.; Gervais, M.;
An Engine-Independent Framework for Business Rules Development
2011 / IEEE / 978-0-7695-4425-0
By: Chang Liu; Agaram, M.K.;
Signal Based Domain Specific Language (SBDSL) a proposal for a next generation test
2011 / IEEE / 978-1-4244-9363-0
By: Headrick, W.J.; Wolfe, D.; Fox, R.R.; Dusch, K.; Bodkin, M.A.; Davis, T.W.;
On the use of SysML for manufacturing execution system design
2011 / IEEE / 978-1-4577-0018-7
By: Pietrac, L.; Henry, S.; Leleve, A.;
A formal semantics for Grafcet specifications
2011 / IEEE / 978-1-4577-1732-1
By: Provost, J.; Faure, J.-M.; Roussel, J.-M.;
Utilizing IEC 61499 in an MDA control application development approach
2011 / IEEE / 978-1-4577-1732-1
By: Hegny, I.; Melik-Merkumians, M.; Wenger, M.; Zoitl, A.; Hametner, R.;
Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example
2011 / IEEE / 978-1-4577-1542-6
By: Ma, Q.; El Kharbili, M.; Pulvermueller, E.; Kelsen, P.;
Towards improving security testability of AADL architecture models
2011 / IEEE / 978-1-4577-0460-4
By: Saidane, A.; Guelfi, N.;
Implementing Stream-Processing Applications on FPGAs: A DSL-Based Approach
2011 / IEEE / 978-1-4577-1484-9
By: Ahmed, S.; Berry, F.; Serot, J.;
Building hierarchical automation solutions in the IEC 61499 modeling language
2011 / IEEE / 978-1-4577-0434-5
By: Zoitl, A.; Prahofer, H.;
A declarative approach to hardening services against QoS vulnerabilities
2011 / IEEE / 978-1-4577-0647-9
By: Tilevich, E.; Young-Woo Kwon;
The lazy initialization multilayered modeling framework: NIER track
2011 / IEEE / 978-1-4503-0445-0
By: Dagnat, F.; Golra, F.R.;
A declarative approach to enable flexible and dynamic service compositions
2011 / IEEE / 978-1-4503-0445-0
By: Pinto, L.S.;
Evaluation of a Semi-automated Semantic Annotation Approach for Bootstrapping the Analysis of Large-Scale Web Service Networks
2011 / IEEE / 978-1-4577-1373-6
By: Mokarizadeh, S.; Matskin, M.; Kungas, P.;
Using courteous logic based representations for requirements specification
2011 / IEEE / 978-1-4577-0938-8
By: Sharma, R.; Biswas, K.K.;
An approach to refinement checking of SysML requirements
2011 / IEEE / 978-1-4577-0018-7
By: Makartetskiy, D.; Sisto, R.;
Using Metamodels to Improve Product Models and Facilitate Inferencing
2011 / IEEE / 978-1-4577-1648-5
By: Narayanan, A.; Witherell, P.; JaeHyun Lee;
A Trustworthy Usage Control Enforcement Framework
2011 / IEEE / 978-1-4577-0979-1
By: Neisse, R.; Di Giacomo, V.; Pretschner, A.;
Proving Computational Geometry Algorithms in TLA+2
2011 / IEEE / 978-1-4577-1487-0
By: Hehua Zhang; Hui Kong; Jiaguang Sun; Ming Gu; Xiaoyu Song;
An Approach to Generate Tools for i* Languages
2011 / IEEE / 978-1-4577-2187-8
By: Castro, J.; Paes, J.; Lima, C.; Santos, E.; Silva, C.;
Scenario Markup Language for authoring behavioral driver studies in 3D virtual worlds
2011 / IEEE / 978-1-4577-1247-0
By: Prendinger, H.; Nakasone, A.; Gajananan, K.; Miska, M.;
Communication Among Multiple Threads in the Concurrent Wavelet Transformation for Image Compression
2011 / IEEE / 978-1-4577-0896-1
By: Harada, K.; Talukder, K.H.;
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL
2011 / IEEE / 978-1-4577-1242-5
By: Deantoni, J.; Mallet, F.; Gascon, R.;
A machine-readable specification of analog circuits for integration into a validation flow
2011 / IEEE / 978-2-9530504-4-8
By: Mingyu Ma; Sporrer, C.; Hedrich, L.;
Distributed Collaborative Model Editing Framework for Domain Specific Modeling Tools
2011 / IEEE / 978-1-4577-1140-4
By: Thiran, P.; Englebert, V.; Koshima, A.;
A metamodel and semantics for transaction level modeling
2011 / IEEE / 978-2-9530504-4-8
By: Radetzki, M.; Khaligh, R.S.;
Towards a service composition language for heterogeneous service environments
2011 / IEEE / 978-1-61284-319-3
By: Leymann, F.; Schleicher, D.; Levenshteyn, R.; Vandikas, K.; Niemoller, J.;
Using Aspect-Oriented state machines for resolving feature interactions
2011 / IEEE / 978-83-60810-39-2
By: Erradi, M.; Dinkelaker, T.;
Defining DSL Expressions Collaboratively in Multidisciplinary Embedded Engineering
2011 / IEEE / 978-1-4577-1027-8
By: Trujillo, S.; Diaz, O.; Sosa, J.D.;
ReL: A Generic Refactoring Language for Specification and Execution
2011 / IEEE / 978-1-4577-1027-8
By: Ziegert, S.; Wehrheim, H.; Ruhroth, T.;
Domain-specific modeling in document engineering
2011 / IEEE / 978-83-60810-39-2
By: Lukovic, I.; Djukic, V.; Popovic, A.;
Synthesis of provably correct controllers for autonomous vehicles in urban environments
2011 / IEEE / 978-1-4577-2197-7
By: Karaman, S.; Wongpiromsarn, T.; Frazzoli, E.;
Computer language notation specification through program examples
2011 / IEEE / 978-83-60810-39-2
By: Kreutzova, M.; Lakatos, D.; Poruban, J.; Sabo, M.;
Extending the descartes specification language towards process modeling
2011 / IEEE / 978-83-60810-39-2
By: Ramamoorthy, L.; Subburaj, V.H.; Urban, J.E.;
Improving dynamic Web service selection in WS-BPEL using SPARQL
2011 / IEEE / 978-1-4577-0653-0
By: Coello, J.M.A.; Paiva Tizzo, N.; Cardozo, E.;

Next Page
Return To Top