Sciweavers

6348 search results - page 226 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
COMPSAC
1998
IEEE
15 years 8 months ago
A Fresh Look at Programming-in-the-Large
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
Walter Cazzola, Andrea Savigni, Andrea Sosio, Fran...
SIGSOFT
2005
ACM
15 years 9 months ago
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...
Zhenmin Li, Yuanyuan Zhou
SIGSOFT
2009
ACM
16 years 4 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
149
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
Software Quality Assurance - Concepts and Misconceptions
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...
Per Runeson, Peter Isacsson
137
Voted
IUI
1998
ACM
15 years 8 months ago
Software Architecture Critics in Argo
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
Jason E. Robbins, David M. Hilbert, David F. Redmi...