|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Siva Dorairaj, James Noble, Petra Malik |
Understanding Team Dynamics in Distributed Agile Software Development.  |
XP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Malik |
A retrospective on CZT. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siva Dorairaj, James Noble, Petra Malik |
Bridging cultural differences: a grounded theory perspective. |
ISEC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siva Dorairaj, James Noble, Petra Malik |
Effective Communication in Distributed Agile Software Development Teams. |
XP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Utting, Petra Malik, Ian Toyn |
Transformation Rules for Z. |
Chicago J. Theor. Comput. Sci. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Siva Dorairaj, James Noble, Petra Malik |
Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective. |
XP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Malik, Lindsay Groves, Clare Lenihan |
Translating Z to Alloy. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Utting, Petra Malik |
Unit Testing of Z Specifications. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Malik, Robi Malik, David Streader, Steve Reeves |
Modular Synthesis of Discrete Controllers. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Annika Hinze, Petra Malik, Robi Malik |
Interaction design for a mobile context-aware system using discrete event modelling. |
ACSC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Miller, Leo Freitas, Petra Malik, Mark Utting |
CZT Support for Z Extensions. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ |
| 1 | Petra Malik, Mark Utting |
CZT: A Framework for Z Tools. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Malik |
From supervisory control to nonblocking controllers for discrete event systems. |
|
2003 |
RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")