Sciweavers

4476 search results - page 681 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
157
Voted
ASWEC
2000
IEEE
15 years 11 months ago
Formal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
J. Paul Gibson
ERLANG
2008
ACM
15 years 8 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
LADS
2007
Springer
16 years 23 days ago
The Webbridge Framework for Building Web-Based Agent Applications
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...
Alexander Pokahr, Lars Braubach
SIGGRAPH
2010
ACM
15 years 11 months ago
Geodesic patterns
Geodesic curves in surfaces are not only minimizers of distance, but they are also the curves of zero geodesic (sideways) curvature. It turns out that this property makes patterns...
Helmut Pottmann, Qixing Huang, Bailin Deng, Alexan...
APCSAC
2000
IEEE
15 years 10 months ago
Dataflow Java: Implicitly Parallel Java
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
Gareth Lee, John Morris