Results 61 to 70 of about 6,721,355 (335)

Detecting Coordination Problems in Collaborative Software Development Environments [PDF]

, 2008
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist technical dependencies that arise from software components using services ...
Amrit, Chintan, Hillegersberg, Jos van
core   +5 more sources

Software Development by Refinement

, 2003
This paper presents an overview of the technical foundations and current directions of Kestrel’s approach to mechanizing software development. The approach emphasizes machine-supported refinement of property-oriented specifications to code, based on a category of higher-order specifications.
Pavlovic, D, Smith, D
openaire   +3 more sources

Moving in the Dark: Enlightening the Spatial Population Ecology of European Cave Salamanders

Population Ecology, EarlyView.
We assessed individual interactions, movement ecology and activity patterns of a subterranean population of Speleomantes strinatii, applying spatial capture–recapture modeling to a photographic dataset of 104 individuals. ABSTRACT Space use and movement are fundamental aspects of organisms' ecology, mirroring individual fitness, behavior, and life ...
Giacomo Rosa, Andrea Costa, Sebastiano Salvidio   +2 more
wiley   +1 more source

Reconfigurable software development [PDF]

IEEE/AIAA 10th Digital Avionics Systems Conference, 2002
Offers a concept called reconfigurable software to save on software costs. Reconfigurable software is software for real-time embedded systems that is characterized as portable, modular and schedulable. Portability is achieved by use of a high-order language and machine-independent time management. Modularity is achieved using abstract data types.
openaire   +2 more sources

Infection Models for Pine Wilt Disease on the Basis of Vector Behaviors

Population Ecology, EarlyView.
Infection models for pine wilt disease without vector density were built to estimate the transmission coefficient of the pathogenic nematode. The models successfully simulated the annual change in the density of infected trees for four pine stands. ABSTRACT Pine wilt disease is caused by the pinewood nematode (Bursaphelenchus xylophilus Steiner et ...
Katsumi Togashi
wiley   +1 more source

Enabling Multi-Stakeholder Cooperative Modelling in Automotive Software Development and Implications for Model Driven Software Development [PDF]

, 2008
One of the motivations for a model driven approach to software development is to increase the involvement for a range of stakeholders in the requirements phases.
Grimm, F., Phalp, Keith T., Vincent, Jonathan   +2 more
core  

Software Development Standard and Software Engineering Practice: A Case Study of Bangladesh

, 2010
Improving software process to achieve high quality in a software development organization is the key factor to success. Bangladeshi software firms have not experienced much in this particular area in comparison to other countries.
Begum, Zerina, Hafiz, Mohd. Zulfiquar, Islam, Md. Saiful, Khan, Mohammed Shafiul Alam, Shoyaib, Md.   +4 more
core   +1 more source

The thioredoxin‐like and one glutaredoxin domain are required to rescue the iron‐starvation phenotype of HeLa GLRX3 knock out cells

FEBS Letters, EarlyView.
Glutaredoxin (Grx) 3 proteins contain a thioredoxin domain and one to three class II Grx domains. These proteins play a crucial role in iron homeostasis in eukaryotic cells. In human Grx3, at least one of the two Grx domains, together with the thioredoxin domain, is essential for its function in iron metabolism.
Laura Magdalena Jordt, Manuela Gellert, Finja Zelms, Sander Bekeschus, Christopher Horst Lillig   +4 more
wiley   +1 more source

Electric Vehicle Smart Charging Reservation Algorithm

Sensors, 2022
The widespread adoption of electromobility constitutes one of the measures designed to reduce air pollution caused by traditional fossil fuels.
Radu Flocea, Andrei Hîncu, Andrei Robu, Stelian Senocico, Andrei Traciu, Baltariu Marian Remus, Maria Simona Răboacă, Constantin Filote   +7 more
doaj   +1 more source

Disruption of SETD3‐mediated histidine‐73 methylation by the BWCFF‐associated β‐actin G74S mutation

FEBS Letters, EarlyView.
The β‐actin G74S mutation causes altered interaction of actin with SETD3, reducing histidine‐73 methylation efficiency and forming two distinct actin variants. The variable ratio of these variants across cell types and developmental stages contributes to tissue‐specific phenotypical changes. This imbalance may impair actin dynamics and mechanosensitive
Anja Marquardt, Marcus S. Münchhoff, Jacqueline Krohn, Philip M. Palarz, Manuel H. Taft, Johannes N. Greve, Nataliya Di Donato, Falk F. R. Buettner, Dietmar J. Manstein   +8 more
wiley   +1 more source