Perry Alexander
Perry Alexander
EECS Professor, ITTC Director, The University of Kansas
Email verificata su ku.edu - Home page
Titolo
Citata da
Citata da
Anno
Toward automated component adaptation
J Penix, P Alexander
Proceedings of the Ninth International Conference on Software Engineering …, 1997
931997
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6 (2), 139-170, 1999
811999
SPARTACAS: automating component reuse and adaptation
B Morel, P Alexander
IEEE Transactions on Software Engineering 30 (9), 587-600, 2004
672004
Classification and retrieval of reusable components using semantic features
J Penix, P Baraona, P Alexander
Proceedings 1995 10th Knowledge-Based Software Engineering Conference, 131-138, 1995
431995
Rosetta: Semantic support for model-centered systems-level design
P Alexander, C Kong
Computer 34 (11), 64-70, 2001
412001
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
381997
System Level Design with Rosetta
P Alexander
Elsevier, 2011
342011
System specification in Rosetta
P Alexander, R Kamath, D Barton
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
342000
Automating component adaptation for reuse
B Morel, P Alexander
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
312003
VSPEC: A declarative requirements specification language for VHDL
P Baraona, J Penix, P Alexander
High-Level System Modeling, 51-75, 1995
311995
Rosetta usage guide
P Alexander, D Barton, C Kong
The University of Kansas/ITTC 2335, 2000
292000
The Rosetta meta-model framework
C Kong, P Alexander
10th IEEE International Conference and Workshop on the Engineering of …, 2003
252003
A formal specification and verification framework for time warp-based parallel simulation
P Frey, R Radhakrishnan, HW Carter, PA Wilsey, P Alexander
IEEE Transactions on Software Engineering 28 (1), 58-78, 2002
242002
Design representation for automating software component reuse
J Penix, P Alexander
IN PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE-BASED …, 1995
241995
Automated component retrieval and adaptation using formal specifications
JJ Penix
University of Cincinnati, 1998
221998
Storing design knowledge in cases
P Alexander, G Minden, C Tsatsoulis, J Holtzman
Second DARPA Workshop on Case-Based Reasoning, 188-192, 1989
191989
Model checking distributed mandatory access control policies
P Alexander, L Pike, P Loscocco, G Coker
ACM Transactions on Information and System Security (TISSEC) 18 (2), 1-25, 2015
162015
ActiveSPEC-A Framework for the Specification and Verification of Active Network Services and Security Policies
D Dieckman, P Alexander, PA Wilsey
In Thirteenth IEEE Annual Symposium on Logic in Computer Science. IEEE, 1998
161998
Formal specification and verification of the pGVT algorithm
B Kannikeswaran, R Radhakrishnan, P Frey, P Alexander, PA Wilsey
International Symposium of Formal Methods Europe, 405-424, 1996
151996
Using a lattice of coalgebras for heterogeneous model composition
J Streb, P Alexander
Proceedings of the MoDELS Workshop on Multi-Paradigm Modeling, 27-38, 2006
132006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20