Search results for "SPECIFICATION"
showing 6 items of 96 documents
Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design
1996
The paper starts with a brief overview of the current situation in the world of CASE tools for information systems. Then there follows the outline of the basic ideas and principles of integrated CASE tool GRADE. The most outstanding characteristics of GRADE are that the tool is based on a unified specification language GRAPES and that it supports all information system development phases including analysis, requirements specification, design and implementation.
La détermination passive et quelques thématisations particulières en anglais médical
1997
À partir d’exemples caractéristiques issus d’un corpus de 2 115 structures passives tirées de la revue britannique The Lancet, j’ai réalisé une classification originale de ces diathèses passives en trois grandes catégories, à savoir la détermination passive simple, la détermination passive complexe et la détermination passive tronquée. Après avoir précisé en quoi ces opérations de détermination correspondaient à une stratégie énonciative particulière — qu’elle soit réfléchie ou spontanée — mise en œuvre par les médecins, j’ai analysé quelques formes extrêmes, ou déterminations particulières, notamment celles présentées sous la forme d’adjectifs composés. Thanks to 2,115 passive structures c…
Algorithms and Logic as Programming Primers
2019
To adapt all-immersive digitalization, the Finnish National Curriculum 2014 (FNC-2014) ‘digi-jumps’ by integrating programming into elementary education. However, applying the change to mathematics teachers’ everyday praxis is hindered by a too high-level specification. To elaborate FNC-2014 into more concrete learning targets, we review the computer science syllabi of countries that are well ahead, as well as the education recommendations set by computer science organizations, such as ACM and IEEE. The whole mathematics syllabus should be critically viewed in the light of these recommendations and feedback collected from software professionals and educators. The feedback reveals an imbalan…
The Covid-19 containment effects of public health measures - A spatial difference-in-differences approach
2020
AbstractSince mid-March 2020 the Federal and state governments in Germany agreed on comprehensive public health measures to curb the spread of SARS-CoV-2 infections leading to the Covid-19 disease. We study the containment effects of these policy interventions on the progression of the pandemic in the first containment phase in spring 2020 before the easing of restrictions may become effective by the end of April. To exploit both the temporal and spatial dimension in the dissemination of the virus, we conduct a spatial panel data analysis for German NUTS-3 regions. Specifically, we employ a spatial difference-in-differences approach to identify the effects of six compound sets of public hea…
Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications
2011
Agile development benefits from fast feedback from various stakeholders. If implemented in a suitable way, formal methods can enhance the agile development process. With an executable formal specification, it is possible to analyse and simulate the behaviour of the target system before it is being built. However, for the users' and developers' natural participation in the development process, it is necessary to use a real end-user interface and bind it to the execution environment being used in the simulations and animations. This requires, though, that the execution model used to simulate the specification is appropriately changed to facilitate the use of these user interfaces. The authors…
Formal specification of open standards and the case of RSS v2.0
2014
Open standardization seems to be very popular among software developers as it makes the standard's adoption by the software engineering community easier and smoother. Formal specification methods, on the other hand, while very promising, are being adopted by protocol engineers very slowly; the industry seems to have little motivation to move into this, almost unknown, territory.In this paper the authors present the i) idea of applying formal methods (formal specification techniques) to open standards' specifications, and ii) an example of a formal specification of open standards, RSS v2.0 in particular. The authors support and provide evidence for the advantages of the open standards formal…