Sciweavers

2846 search results - page 44 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
KBSE
2000
IEEE
15 years 10 months ago
Using Little-JIL to Coordinate Agents in Software Engineering
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
Alexander E. Wise, Aaron G. Cass, Barbara Staudt L...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Using Benchmarking to Advance Research: A Challenge to Software Engineering
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creatio...
Susan Elliott Sim, Steve M. Easterbrook, Richard C...
IEEESCC
2008
IEEE
16 years 12 days ago
Built-to-Order Service Engineering for Enterprise IT Discovery
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
Nikolai Joukov, Murthy V. Devarakonda, Kostas Mago...
ICSE
2008
IEEE-ACM
16 years 6 months ago
On the difficulty of replicating human subjects studies in software engineering
Replications play an important role in verifying empirical results. In this paper, we discuss our experiences performing a literal replication of a human subjects experiment that ...
Jonathan Lung, Jorge Aranda, Steve M. Easterbrook,...
AMOST
2007
ACM
15 years 10 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa