Sciweavers

702 search results - page 83 / 141
» Implementing software product lines using traits
Sort
View
ICTAC
2010
Springer
13 years 6 months ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Bill Stoddart, Frank Zeyda, Steve Dunne
CSEE
2000
Springer
14 years 7 days ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
AOSD
2007
ACM
13 years 12 months ago
On the duality of aspect-oriented and feature-oriented design patterns
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
Martin Kuhlemann, Marko Rosenmüller, Sven Ape...
ERLANG
2008
ACM
13 years 9 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
MVA
2007
130views Computer Vision» more  MVA 2007»
13 years 9 months ago
3D Precise Inspection of Electronic Devices by Single Stereo Vision
It is very important to guarantee the quality of the industrial products by means of visual inspection. In order to reduce the soldering defect with terminal deformation and termi...
Takashi Watanabe, Akira Kusano, Takayuki Fujiwara,...