Sciweavers

15777 search results - page 718 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
ITICSE
2009
ACM
16 years 1 months ago
Software reuse and plagiarism: a code of practice
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signiï¬...
J. Paul Gibson
203
Voted
COMPSAC
2002
IEEE
16 years 7 days ago
Software Application Platforms: From Product Architecture to Integrated Application Strategy
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
Markku Sääksjärvi
KBSE
2010
IEEE
15 years 5 months ago
Kadre: domain-specific architectural recovery for scientific software systems
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
David Woollard, Chris Mattmann, Daniel Popescu, Ne...
ICSE
2009
IEEE-ACM
16 years 2 months ago
Towards a framework for law-compliant software requirements
During the requirements elicitation phase, analysts have often to take into consideration laws and regulations enacted by different levels of government. The purpose of this paper...
Alberto Siena, Anna Perini, Angelo Susi, John Mylo...