7202 search results - page 1006 / 1441 » Software System Engineering: A Tutorial |
165
click to vote
SIGSOFT
2002
ACM
16 years 8 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
204
click to vote
AFP
2004
Springer
16 years 29 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
222
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
285
click to vote
ICSE
2012
IEEE-ACM
13 years 10 months ago
2012
IEEE-ACM
—Given limited resource and time before software release, development-site testing and debugging become more and more insufficient to ensure satisfactory software performance. As...
193
click to vote
EUROSYS
2008
ACM
16 years 4 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...