Search Results - "Urban, Joseph E."

A property based specification formalism classification by Khwaja, Amir A., Urban, Joseph E.

“…Specification formalisms may be classified through some common properties. Specification formalism classification may be used as a basis for the evaluation of…”
Get full text

Preciseness for predictability with the RealSpec real-time executable specification language by Khwaja, Amir A, Urban, Joseph E

“…RealSpec is a declarative and executable specification language for specifying real-time and concurrent software systems based on the dataflow computation…”
Get full text

Analogy-based domain analysis approach to software reuse by Lung, Chung-Horng, Urban, Joseph E., Mackulak, Gerald T.

“…Domain analysis is an expansion of conventional requirements analysis. Domain analysis can support effective software reuse. However, domain analysis is time…”
Get full text

Automatic parallel programming using the descartes specification language by Sakhnini, Nina, Inukollu, Venkata N., Urban, Joseph E.

“…Automatic programming can be defined as developing software in a high abstraction level. The definition of automatic programming is not precise because what is…”
Get full text

5-(Hydroxyphenyl)-γ-Valerolactone-Sulfate, a Key Microbial Metabolite of Flavan-3-ols, Is Able to Reach the Brain: Evidence from Different in Silico , In Vitro and In Vivo Experimental Models by Angelino, Donato, Carregosa, Diogo, Domenech-Coca, Cristina, Savi, Monia, Figueira, Inês, Brindani, Nicoletta, Jang, Saebyeol, Lakshman, Sukla, Molokin, Aleksey, Urban, Jr, Joseph F, Davis, Cindy D, Brito, Maria Alexandra, Kim, Kwang Sik, Brighenti, Furio, Curti, Claudio, Bladé, Cinta, Del Bas, Josep M, Stilli, Donatella, Solano-Aguilar, Gloria I, Santos, Claudia Nunes Dos, Del Rio, Daniele, Mena, Pedro

“…Phenolic compounds have been recognized as promising compounds for the prevention of chronic diseases, including neurodegenerative ones. However, phenolics…”
Get full text

Introduction to Computing: Interdisciplinary Course Design by Subburaj, Vinitha Hannah, Subburaj, Anitha Sarah, Urban, Joseph E.

“…This Innovative Practice Category Work In Progress paper presents course design for an interdisciplinary course that can be offered to engineering and computer…”
Get full text

Supplemental dietary inulin influences expression of iron and inflammation related genes in young pigs by Yasuda, Koji, Dawson, Harry D, Wasmuth, Elizabeth V, Roneker, Carol A, Chen, Celine, Urban, Joseph F, Welch, Ross M, Miller, Dennis D, Lei, Xin Gen

“…We have previously shown improved hemoglobin (Hb) repletion efficiency by supplementing a 50:50 mixture of short (P95) and long-chain (HP) inulin (Synergy 1,…”
Get more information

A distributed version of the SequenceL language by Cooke, D.E., Kreinovich, V., Urban, J.E.

“…This paper introduces a new computational model for SequenceL. The model is extended through the addition of a notion of the VRAM model. The computational…”
Get full text

Direct implementation of abstract data types from abstract specifications by Belkhouche, B., Urban, J. E.

“…The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications…”
Get full text

Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems by Subburaj, Vinitha Hannah, Urban, Joseph E.

“…Security has become an important concern with the development of large scale distributed and heterogeneous multi-agent systems (MAS). One of the main problems…”
Get full text

Validating software specifications against user claims by Chia-Chu Chiang, Urban, J.E.

“…Testing provides a way of detecting specification errors. However, testing only shows the presence of errors, but never shows the absence of errors. Proofs…”
Get full text

Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique by Subburaj, Vinitha Hannah, Urban, Joseph E.

“…The field of software engineering is seeking ways to close the gaps that exist between the phases of software development, right from requirements…”
Get full text

RealSpec: An Executable Specification Language for Modeling Control Systems by Khwaja, A.A., Urban, J.E.

“…Direct support of real-time and control system features in a real-time specification language has a key role in the modeling of such systems. Correct modeling…”
Get full text

RealSpec: An Executable Specification Language for Prototyping Concurrent Systems by Khwaja, A.A., Urban, J.E.

“…RealSpec is a declarative executable language for the prototyping of concurrent and real-time systems based on a dataflow functional model. RealSpec is…”
Get full text

The State of Executable Real-Time Specification Languages and the Need for Advancements by Khwaja, A.A., Urban, J.E.

“…Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these…”
Get full text

An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language by Medina, M.A., Urban, J.E.

“…The agent-oriented approach has emerged as a new and powerful paradigm in modern software engineering. This paper analyzes the reactive agent model, exhibiting…”
Get full text

Real-time Descartes: a real-time specification language by Sung, K.-Y., Urban, J.E.

“…Real-time Descartes is a formal language for specifying real-time software, which is an extension of the executable Descartes specification language. Many…”
Get full text

A formal specification language for modeling agent systems by Subburaj, Vinitha Hannah, Urban, Joseph E.

“…Formal methods in software specification enable the development of reliable software with a reduction in magnitude of unidentified errors that might occur…”
Get full text

Distributed processing by Urban, Joseph E, Tzeng, Nian-Feng

“…Information about the Technical Committee on Distributed Processing is presented. The committee, formed in 1979, addresses the technical aspects of specifying,…”
Get full text

Strategic plan for enhancing higher education computing degree programs in Iraq by Al-Janabi, S, Urban, J E

“…Computing has dramatically influenced progress in science, engineering, business, and many other areas of human endeavor. Computing is globally pervasive and…”
Get full text