Sciweavers

2700 search results - page 125 / 540
» The role of abstraction in software engineering
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 28 days 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ö...
ENTCS
2008
79views more  ENTCS 2008»
15 years 6 months ago
j-POST: a Java Toolchain for Property-Oriented Software Testing
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
Yliès Falcone, Laurent Mounier, Jean-Claude...
CSUR
2008
351views more  CSUR 2008»
15 years 6 months ago
Process-centered review of object oriented software development methodologies
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
Raman Ramsin, Richard F. Paige
ICSE
2010
IEEE-ACM
15 years 11 months ago
Providing support for creating next generation software architecture languages
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
Ivano Malavolta
IWPC
2006
IEEE
16 years 11 days ago
An Architecture to Support Model Driven Software Visualization
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
R. Ian Bull, Margaret-Anne D. Storey, Jean-Marie F...