Sciweavers

6348 search results - page 590 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
ICSE
1998
IEEE-ACM
15 years 11 months ago
An Adaptable Generation Approach to Agenda Management
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
EMSOFT
2008
Springer
15 years 9 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
CACM
2007
164views more  CACM 2007»
15 years 7 months ago
Is abstraction the key to computing?
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
Jeff Kramer
INFSOF
2007
83views more  INFSOF 2007»
15 years 7 months ago
On the design of more secure software-intensive systems by use of attack patterns
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
Michael Gegick, Laurie Williams
CODES
2011
IEEE
14 years 7 months ago
Design and architectures for dependable embedded systems
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
Jörg Henkel, Lars Bauer, Joachim Becker, Oliv...