Results 91 to 100 of about 5,155,579 (288)

Transforming UML 'Collaborating' Statecharts for Verification and Simulation [PDF]

Journal of Systemics, Cybernetics and Informatics, 2003
Due to the increasing complexity of real world problems, it is costly and difficult to validate today's software-intensive systems. The research reported in the paper describes our experiences in developing and applying a set of methodologies for ...
Patrick O. Bobbie, Yiming Ji, Lusheng Liang   +2 more
doaj  

USING UML SCENARIOS IN B2B SYSTEMS

International Islamic University Malaysia Engineering Journal, 2010
Scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of the system behavior, an approach for scenario composition and/or integration is needed to produce more ...
A. Jakimi, A. Sabraoui, E. Badidi, A. Salah, M. El Koutbi   +4 more
doaj   +1 more source

Synergistic antiviral activity against human adenovirus through combination of itraconazole and brincidofovir

British Journal of Pharmacology, EarlyView.
Background and Purpose Human adenovirus (HAdV) causes respiratory or gastrointestinal tract infections depending on the virus subtype. While HAdV infections are generally self‐limiting in immunocompetent people, they can result in significant morbidity and mortality in immunocompromised adults and children.
Mohamed Zamzamy, Sophie Post, Wing Hang Ip, Elin Hahlin, Sebastian Kühn, Andrea Pirosu, Christian Conze, Martin Baumdick, Hamburg Intestinal Study Group, Madeleine J. Bunders, Britta F. Zecher, Angelique Hoelzemer, Stephan Linder, Niklas Arnberg, Thomas Dobner, Marcus Altfeld, Sebastian Schloer   +16 more
wiley   +1 more source

Divergence in μ and δ opioid receptor pharmacology in neurons and antinociceptive efficacy in neuropathic pain: Insights from MP135 and CYM51010

British Journal of Pharmacology, EarlyView.
Background and purpose Opioids targeting the μ opioid receptor remain largely ineffective in neuropathic pain conditions, emphasizing the need for novel therapeutic strategies. MP135 was reported to reduce thermal nociception in naive animals by activating μ‐δ opioid receptor heteromers.
Perrine Inquimbert, Chantal Fitterer, Sylvain Hugel, Mila Jesic, Yannick Goumon, Virgine Andry, Severine Schneider, Francois Daubeuf, Abdelfattah Faouzi, Stephane Doridot, Susruta Majumdar, Frederic Bihel, Martine Schmitt, Dominique Massotte   +13 more
wiley   +1 more source

A tool for designing Java programs with UML [PDF]

, 1999
Anna Armentrout
openalex   +1 more source

Profiling of HCAR1 signalling reveals Gαi/o and Gαs activation without β‐arrestin recruitment and the discovery of an allosteric agonist

British Journal of Pharmacology, EarlyView.
Abstract Background and Purpose Lactate, historically viewed as a metabolic by‐product, has emerged as a signalling molecule via the G protein–coupled receptor Hydroxycarboxylic Acid Receptor 1 (HCAR1). The receptor is primarily expressed in adipocytes but also found in various other tissues.
Simon Lind, Shane C. Wright, Emilia Gvozdenovic, Kristina Nilsson, Kenneth L. Granberg, Michel Bouvier, Linda C. Johansson   +6 more
wiley   +1 more source

Runtime and Design Time Completeness Checking of Dangerous Android App Permissions Against GDPR

IEEE Access
Data and privacy laws, such as the GDPR, require mobile apps that collect and process the personal data of their citizens to have a legally-compliant policy.
Ryan Mcconkey, Oluwafemi Olukoya
doaj   +1 more source

Human FASTK preferentially binds single‐stranded and G‐rich RNA

The FEBS Journal, EarlyView.
Although FASTK is known to play a role in mRNA biology, the mechanism through which it recognizes RNA has yet to be unraveled. Here, we used purified human FASTK to characterize its RNA‐binding properties in vitro. We found that FASTK prefers ssRNA oligonucleotides containing guanines with the potential to form G‐quadruplexes and binds robustly to any ...
Daria M. Dawidziak, Dawid A. Dzadz, Mikołaj I. Kuska, Madhuri Kanavalli, Maria M. Klimecka, Matthew Merski, Katarzyna J. Bandyra, Maria W. Górna   +7 more
wiley   +1 more source

Developing an Automated Model-Based Software Testing Tool From the Design Phase

IEEE Access
Software testing involves a number of labor-intensive tasks that, to save resources, should be automated. Model-based software testing is one of the most widely used methods of software quality assurance in the business world is model-based software ...
Rasha Gh. Alsarraj, Atica M. Altaie, Esra Zuhair Majeed   +2 more
doaj   +1 more source

Generating Use Case Models from Arabic User Requirements in a Semiautomated Approach Using a Natural Language Processing Tool

Journal of Intelligent Systems, 2015
Automated software engineering has attracted a large amount of research efforts. The use of object-oriented methods for software systems development has made it necessary to develop approaches that automate the construction of different Unified Modeling ...
Arman Nabil, Jabbarin Sari
doaj   +1 more source