Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
A logic of action for supporting goal-oriented elaborations of requirements
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Programming from specifications
Programming from specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Software Engineering and Methodology (TOSEM)
A classical mind
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Connecting viewpoints by shared phenomena
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Executable Requirements and Specifications
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Simulation in software engineering training
Proceedings of the 22nd international conference on Software engineering
A software engineering approach and tool set for developing Internet applications
Proceedings of the 22nd international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Annals of Software Engineering
A Reference Model for Requirements and Specifications
IEEE Software
A Method for Requirements Elicitation and Formal Specification
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Supporting Embedded System Design Capture, Analysis and Navigation-
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Methodological Support for Requirements Elicitation and Formal Specification
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Where do you go when you're through the turnstile?
Proceedings of the 27th international conference on Software engineering
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Progressing problems from requirements to specifications in problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
A Formal Metamodel for Problem Frames
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Foundation for Requirements Analysis of Dependable Software
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Atomic requirements for software architecting
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
XML-based requirements engineering for an electronic clearinghouse
Information and Software Technology
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
Embedding requirements within Model-Driven Architecture
Software Quality Control
System verification through program verification
FM'11 Proceedings of the 17th international conference on Formal methods
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
Security engineering using problem frames
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
FM'05 Proceedings of the 2005 international conference on Formal Methods
Problem frames and architectures for security problems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
The epistemology of validation and verification testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Relaxing claims: coping with uncertainty while evaluating assumptions at run time
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Automatically RELAXing a goal model to cope with uncertainty
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Evolution, adaptation, and the quest for incrementality
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Compositional verification of a medical device system
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
| Hi-index | 0.00 |