Sciweavers

1976 search results - page 171 / 396
» Application Semiotics Engineering Process
Sort
View
ADAEUROPE
2009
Springer
16 years 29 days ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
CCECE
2006
IEEE
16 years 12 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
HOTSWUP
2009
ACM
15 years 11 months ago
An Implementation of the Linux Software Repository Model for Other Operating Systems
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
Neil McNab, Anthony Bryan
ICSM
2008
IEEE
16 years 23 days ago
REST: A tool for reducing effort in script-based testing
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
Qing Xie, Mark Grechanik, Chen Fu