• No results found

specification languages

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

... if generally more simple), semantics and expressivity but with the possibility of manipulating several models simultanously. They are then good candidates in replacing OCL for expressing contracts but they oblige in ...

16

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

... Nevertheless, we will argue that our mapping is both simple, since the resulting FOL sentences closely mirror the original OCL constraints, and practical, since we can use existing autom[r] ...

14

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

... a specification satisfiability or to detect contradicting ...target languages, such as Java and SQL, to be in the scope of an MDE tool (model driven engineering), which obtains OCL Statements and related ...

16

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

... Abstract: Due to the variety of concerns affecting software development in large organisations, processes have to be adapted to project specific needs to be effec- tively applicable in individual projects. We describe a ...

7

B vs OCL: comparing specification languages for Planning Domains

B vs OCL: comparing specification languages for Planning Domains

... In this paper we investigate the use of a formal method from the area of software specification to capture planning domain models. These mathematically based methods are chiefly for use in applications where ...

10

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

... Another relevant approach is the one presented in [20]. It deals with the visual specification of measurements (metrics) and refactorings for any Domain Specific Visual Language (DSVL). The approach is based on ...

16

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

... A further aspect for the whole process state can be expressed by referencing data from the corresponding UI-object. By overwriting the operation getState() of the meta-class Process in the concrete process LectureADT we ...

16

Volume 35: Automated Verification of Critical Systems 2010

Volume 35: Automated Verification of Critical Systems 2010

... embed specification languages into PVS [Hel06, POS04, RB09], we show how the Promela-Lite syntax, type system and semantics can be embedded into PVS, and use this embedding to interactively prove both ...

17

5-Lecture V

5-Lecture V

... System Contract Requirements - 5 • Natural language is often used to describe system requirements • Some specification languages may be used with natural language,. which add structure t[r] ...

26

Specification and Modeling of HW/SW CO-Design for Heterogeneous Embedded Systems

Specification and Modeling of HW/SW CO-Design for Heterogeneous Embedded Systems

... Design, specification languages are used to build high level models of the entire system, at the System Level, to allow fast design space ...Specifically, specification and modeling computation ...

6

Vulnerabilities & Attacks in SRS for Object-Oriented Software Development

Vulnerabilities & Attacks in SRS for Object-Oriented Software Development

... Requirement Specification (SRS), Good Quality Require- ment Characteristics, Vulnerability-Based Risk Analysis in SRS, Attacks due to vulnerabilities in SRS Model, Security check list for Proposed Secure SRS ...

6

Protocol specification in concurrent systems software development

Protocol specification in concurrent systems software development

... [4] Balzer R, Goldman N Principles of good software specification and their implications for specification languages, Software Specification Techniques, International CS Series, Addison-[r] ...

25

Volume 44: OCL and Textual Modelling 2011

Volume 44: OCL and Textual Modelling 2011

... The execution semantics of an instruction set relies on a programmer’s model of the processor, where the storage elements (registers, memory) and the computation units are defined. Storage elements are modeled as global ...

17

Comparative Study of Hardware Languages and Programming Languages

Comparative Study of Hardware Languages and Programming Languages

... hardware languages like VHDL or ...Programming languages are extremely ...programming languages. Thousand different languages have been created within previous few ...Some languages ...

5

More Languages, More MAP?: A Study of Multiple Assisting Languages in Multilingual PRF

More Languages, More MAP?: A Study of Multiple Assisting Languages in Multilingual PRF

... We use the Terrier IR platform (Ounis et al., 2005) for indexing the documents. We perform standard tokenization, stop word removal and stemming. We use the Porter Stemmer for English and the stemmers available through ...

9

Languages under the influence: Building a database of Uralic languages

Languages under the influence: Building a database of Uralic languages

... Uralic languages, such as Udmurt and Synya Khanty, by a Hungarian language technology company (Mor- phoLogic) and the Research Institute for Linguistics of the Hungarian Academy of Sciences ...

15

Introductory Readings in Languages of the Pacific Islands: University of Hawai'i at Manoa, Fall 2016, Linguistics 150

Introductory Readings in Languages of the Pacific Islands: University of Hawai'i at Manoa, Fall 2016, Linguistics 150

... the languages of people who crossed and recrossed a large ocean at the time when Europeans were paddling on the shores of the Mediterranean Sea and being careful lest they fall off the edge of the ...the ...

10

Integrated Design and Implementation Tool for Multi-Agent Controllers IDITmac

Integrated Design and Implementation Tool for Multi-Agent Controllers IDITmac

... As illustrated in the previous section, various developments in different fields of control engineering are emerging to support the present needs of the controllers. Significant developments in the field of controller ...

116

On Languages Distribution

On Languages Distribution

... most languages will increase over time, with fewer languages going ...other languages, but for a long time there will be situations in which the language will be replaced by the ...

10

Diagnosing runtime violations of security and dependability properties

Diagnosing runtime violations of security and dependability properties

... requirements specification, which is written in both high-level and low-level ...formal languages, the Primitive and the Meta Event Definition Languages (PEDL and MEDL), which are used for writing ...

336

Show all 5341 documents...

Related subjects