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

Volltext

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 Experime... von 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

Volltext

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

Volltext

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

Volltext

Supplemental dietary inulin influences expression of iron and inflammation related genes in young pigs von 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

Volltext

Formal specification for real-time object oriented systems with UML design von Horne, Benjamin D, Subburaj, Vinitha Hannah, Urban, Joseph E

Volltext

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

Volltext

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

Volltext

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

Volltext

Multiple views of an executable software specification language von Tung, Yukuh, Khwaja, Amir A, Urban, Joseph E

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

An approach to the classification of domain models in support of analogical reuse von Lung, Chung-Horng, Urban, Joseph E

Volltext

Panel on revitalized undergraduate computing education von Urban, Joseph E., Heines, Jesse M., Fox, Edward A., Taylor, Harriet G.

Volltext

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

Volltext bestellen

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

Volltext

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

Volltext

Issues and Challenges in Building a Framework for Reactive Agent Systems von Subburaj, Vinitha Hannah, Urban, Joseph Edward

Volltext bestellen