Results 91 to 100 of about 532,868 (319)
From system requirements to source code: transitions in UML and RUP
Contemporary Economy, 2011 There are many manuals explaining language specification among UML-related books. Only some of books mentioned concentrate on practical aspects of using the UML language in effective way using CASE tools and RUP.
Stanisław Wrycza, Bartosz Marcinkowski
doaj
Verification of declarative LTL-specification of control programs behavior
Моделирование и анализ информационных системThe article continues the series of works on development and verification of control programs based on LTL-specifications of a special type. Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control ...
Maxim V. Neyzov, Egor V. Kuzmin
doaj +1 more source
HAL/SM language specification [PDF]
A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle.
Ross, C., Williams, G. P. W., Jr.
core +1 more source
Feedback Generation for Performance Problems in Introductory Programming Assignments
, 2014 Providing feedback on programming assignments manually is a tedious, error prone, and time-consuming task. In this paper, we motivate and address the problem of generating feedback on performance aspects in introductory programming assignments.
Gulwani, Sumit +2 more
core +2 more sources
Assessing the Ecological Value: Monetizing Process Innovations in Tailored Forming
Advanced Engineering Materials, EarlyView.This article introduces a method for evaluating the sustainability of innovations, even with limited data. The method is illustrated through an analysis of the “Tailored Forming” technology, which explores the impact of sustainability on economic value added.
Jonas Schneider +4 more
wiley +1 more source
ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE
International Journal of Information and Communication Technology Research, 2009 Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process.
Behnaz Changizi +1 more
doaj
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
, 2011 The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that can translate a protocol's specification, from Abstract Syntax Notation One
Barlas, Konstantinos +2 more
core
Advanced Engineering Materials, EarlyView.This study explores aerosol jet‐printed (AJP) surface roughness, its effects on the performance of microwave electronics, and its process contributors. First, an electromagnetic model is vetted for AJP's unique roughness signature. Simulations are built which show process‐induced roughness is as significant as conductor resistivity in driving microwave
Christopher Areias, Alkim Akyurtlu
wiley +1 more source
Mapping SDL Specification Fundamentals to Core SDL Ontology
Journal of Communications Software and Systems, 2010 This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications ...
Marina Bagić Babac, Marijan Kunštić
doaj
LinguaPhylo: A probabilistic model specification language for reproducible phylogenetic analyses. [PDF]
PLoS Comput Biol, 2023 Drummond AJ, Chen K, Mendes FK, Xie D.
europepmc +1 more source